Nadie debería publicar resultados declarando victoria en una competición sin compartir recibos. En el caso de una competición de matemáticas, los recibos válidos deberían ser pruebas informales en lenguaje natural, o pruebas formales en Lean4. Y esos recibos deberían ir con el anuncio, no una semana después. No hacer esto es simplemente una búsqueda de engagement y hype. La industria de la IA ya tiene suficiente de eso.