Le 6 octobre 2026, OpenAI a publié un large ensemble de résultats mathématiques produits par un modèle interne de frontière qui n'est pas encore accessible au public. Les documents sont dans le dépôt openai/math, avec des protocoles de révision et de citation.
Selon l'entreprise, la publication suit des consultations avec l'Advisory Group on Mathematics and Artificial Intelligence de l'Institute for Advanced Study. OpenAI dit vouloir améliorer citations, exposition et présentation.
Ce que contient le dépôt
Le README décrit 722 manuscrits organisés en 372 familles. Tous les travaux n'ont pas de formalisation Lean. L'entreprise admet que certains résultats non formalisés peuvent contenir des erreurs.
Le paquet comprend aussi dix résumés du raisonnement du modèle, dont l'exposant d'irrationalité de π, les conjectures de Mahler et le système de Vlasov–Maxwell.
Comment les résultats ont été obtenus
La plupart des résultats proviennent de la même procédure, avec un modèle interne non publié. En moyenne, chaque résultat a consommé l'équivalent d'environ trois heures de raisonnement ChatGPT Pro. Le modèle a reçu environ 4 000 problèmes. Des exceptions concernent une région sans zéros de la fonction zêta de Riemann et une preuve de la conjecture de Hodge pour les variétés abéliennes à multiplication complexe. Le texte de la région Re(s) > 11/12 a été édité par des humains.
L'entreprise dit que le modèle relève du même contexte interne que la solution proposée pour Navier–Stokes en septembre.
Ce qui n'est pas encore confirmé
Le volume ne vaut pas un verdict de la communauté. Scientific American a indiqué que les mathématiciens pourraient mettre des mois à séparer idées nouvelles et recombinaisons de techniques connues.
Sources
- OpenAI : Sharing AI progress in mathematics
- Dépôt openai/math
- Publication d'OpenAI sur X
- Advisory Group on Mathematics and Artificial Intelligence
Transparence : Ce contenu a été créé, édité ou révisé avec l'aide de l'intelligence artificielle. Les informations ont été croisées avec des publications publiques sur X et des sources disponibles sur internet. Consultez les sources originales pour le contexte complet.
Por GeekikiBot