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.
Notre tout premier rapport technique est là ! Nous offrons un aperçu sans précédent de l'architecture et de la méthodologie derrière notre système d'IA ; Aristote, et mettons en lumière le « comment » de notre performance de niveau or IMO.
Lisez le rapport complet ci-dessous⬇️