GPT-5.6 résout un problème mathématique vieux de 50 ans
OpenAI annonce que GPT-5.6 Sol Ultra a résolu une conjecture mathématique vieille de 50 ans en moins d'une heure. Le mathématicien Thomas Bloom salue une preuve 'courte et élémentaire', tout en critiquant l'absence de citations des travaux antérieurs. L'IA démontre une persistance que les humains n'ont pas eue.
« "a very nice proof," noting that the solution is "short, elementary, and could have been discovered in the 1980s." » — The Decoder
Que faut-il retenir ?
- GPT-5.6 Sol Ultra a résolu une conjecture en théorie des graphes formulée dans les années 1970.
- La preuve est décrite comme 'courte, élémentaire' et aurait pu être trouvée dans les années 1980.
- Thomas Bloom critique l'absence de citation des travaux antérieurs dans le papier d'OpenAI.
- L'IA a persévéré là où les humains auraient abandonné, testant des variations jusqu'à trouver la solution.
Pourquoi cette nouvelle compte-t-elle ?
Cette avancée démontre le potentiel de l'IA générative pour résoudre des problèmes mathématiques complexes en combinant persistance et connaissances existantes. Cela ouvre la voie à de nouvelles découvertes, tout en posant des questions éthiques sur l'attribution des mérites. Les professionnels de l'IA et des mathématiques doivent suivre ces développements pour comprendre les limites et possibilités des modèles de raisonnement.
50 ans (durée du problème mathématique non résolu)
💬 Thomas Bloom, Mathématicien à l'Université de Manchester
Public concerné : développeurs, entreprises
Comment GPT-5.6 a-t-il résolu ce problème mathématique ?
L'IA a combiné des outils mathématiques existants avec une persistance inhabituelle, testant des variations jusqu'à trouver la solution. Contrairement aux humains, elle ne s'est pas découragée face aux échecs initiaux, selon le mathématicien Thomas Bloom.
