Personne ne devrait publier des résultats déclarant la victoire dans une compétition sans partager de preuves. Dans le cas d'une compétition mathématique, les preuves valides devraient être des démonstrations informelles en langage naturel, ou des démonstrations formelles en Lean4. Et ces preuves devraient accompagner l'annonce, pas une semaine plus tard. Ne pas faire cela, c'est juste de l'engagement farming et du battage médiatique. L'industrie de l'IA en a assez.