Nadie debería publicar resultados declarando la victoria en una competición sin compartir los tickets. En el caso de una competición matemática, los recibos válidos deben ser demostraciones informales en lenguaje natural o demostraciones formales en Lean4. Y esos recibos deberían ir con el anuncio, no una semana después. No hacer esto es solo farmeo de interacción y expectación. La industria de la IA ya tiene suficiente de eso.