OpenAI annonce trois nouvelles découvertes de l'IA en mathématiques, informatique et physique

OpenAI affirme que ses modèles ont produit trois nouveaux résultats : une preuve de la conjecture de lissage local en toute dimension, qui résoudrait aussi les conjectures de Kakeya et de restriction de Stein ; une preuve vérifiée en Lean que l'hypothèse du temps exponentiel est fausse ; et une preuve d'existence mathématiquement rigoureuse pour la chromodynamique quantique et une complétion unifiée du modèle standard, y compris la théorie pure de Yang-Mills. Les textes de mathématiques et d'informatique et les formalisations Lean sont publics, tandis que les artefacts de physique sont retenus par son groupe de collaboration externe, qui rédigera le travail lui-même. C'est important car, si ces affirmations résistent à un examen indépendant, ce serait un moment historique pour la science pilotée par l'IA, mais pour l'instant elles restent des affirmations d'OpenAI examinées par des experts externes, et non des résultats confirmés de façon indépendante.

• Sam Altman2026-10-26 21:36