« Si un humain avait fait ça, ce serait la médaille Fields » : l’IA d’OpenAI fait une percée sur l’hypothèse de Riemann

OpenAI a rendu publics 722 manuscrits mathématiques produits par un modèle interne non accessible au public, regroupés en 372 familles de résultats.

Ces documents sont disponibles sur une plateforme de partage de code, GitHub, sous le dépôt « math ».

Parmi ces manuscrits, certains sont accompagnés d’une version écrite en Lean, un langage de programmation permettant de vérifier automatiquement la validité des démonstrations mathématiques ligne par ligne.

OpenAI précise que certains résultats non formalisés pourraient contenir des erreurs et promet de les corriger rapidement.

Les manuscrits couvrent des problèmes variés, dont l’hypothèse de Riemann, et ont été générés après avoir soumis environ 4 000 problèmes ouverts au modèle, chaque résultat ayant nécessité en moyenne l’équivalent de trois heures de réflexion avec l’offre haut de gamme de ChatGPT.