RT de Dan Roberts : Nous annonçons trois nouvelles découvertes en mathématiques, en informatique et en physique sur lanalyse harmonique, la théorie de la complexité et …

OpenAI affirme que ses modèles internes ont produit trois résultats : une preuve de la conjecture de lissage local en toutes dimensions, qui résout aussi les conjectures de Kakeya et de restriction de Stein ; une réfutation de lhypothèse du temps exponentiel vérifiée en Lean ; et une preuve rigoureuse dexistence pour la théorie de Yang-Mills et la chromodynamique quantique. Ces résultats ont été formalisés en Lean et confiés à des groupes dexperts externes, dont un groupe de physique dirigé par le prix Nobel David Gross, pour les examiner et les expliquer. Sils se confirment, ils résoudraient des problèmes ouverts depuis des décennies, dont une partie dun problème du prix du Millénaire, et marqueraient le passage de lIA du rôle dassistante à celui de productrice de mathématiques et de physique de pointe.

• OpenAI2026-10-26 21:36