OpenAI annonce trois preuves mathématiques générées par IA à vérifier par des experts
En bref
- OpenAI affirme avoir généré trois preuves majeures en maths, informatique et physique via ses modèles internes.
- L'une des preuves remet en cause l'hypothèse de l'Exponential Time Hypothesis, fondement de milliers d'articles.
- Des experts externes, dont un Nobel, vérifient désormais la validité de ces résultats.
OpenAI affirme que ses modèles internes ont produit trois preuves majeures en mathématiques, informatique et physique. L'une d'elles remet en cause une hypothèse centrale en informatique, une autre résout une partie d'un problème du millénaire à 1 million de dollars, et la troisième valide une conjecture physique majeure.
La société a publié trois manuscrits bruts, dont deux traduits en Lean, un langage permettant de vérifier mécaniquement chaque étape d'une démonstration. Des experts externes, dont un lauréat du prix Nobel, sont chargés d'évaluer la validité de ces preuves. OpenAI a aussi annoncé financer une conférence pour discuter des implications de ces résultats.
Ces avancées, si elles sont confirmées, pourraient bouleverser des domaines entiers : des centaines d'articles en théorie des graphes ou en biologie computationnelle reposent sur l'hypothèse réfutée, tandis que les preuves en physique quantique ouvrent des perspectives inédites. Les vérifications indépendantes sont en cours, sans garantie de succès.
Ce résumé vous donne l'essentiel. L'article complet, ses chiffres et ses citations sont chez The Decoder.
Lire l'article originalRésumé généré par IA à partir de la source, relu par règles. Comment nous rédigeons · Signaler une erreur