GPT-5.6 Sol Ultra résout une conjecture mathématique vieille de 50 ans
OpenAI's 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 qualifie la preuve de 'très belle', notant qu'elle est 'courte, élémentaire et aurait pu être découverte dans les années 1980'. Cependant, Bloom critique le manque de citation des travaux antérieurs dans la preuve générée par l'IA.
« a very nice proof, 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 mathématique vieille de 50 ans en moins d'une heure.
- La preuve est qualifiée de 'très belle' par le mathématicien Thomas Bloom.
- Bloom critique le manque de citation des travaux antérieurs dans la preuve générée par l'IA.
- Bloom compare cette découverte à la conjecture de la distance unitaire, également résolue récemment par OpenAI.
Pourquoi cette nouvelle compte-t-elle ?
Cette avancée montre que l'IA peut résoudre des problèmes mathématiques complexes en combinant habilement des outils existants, sans nécessiter de nouvelles théories. Cela ouvre des perspectives pour la résolution d'autres conjectures mathématiques et soulève des questions sur la créativité et l'originalité des preuves générées par l'IA. Les professionnels de l'IA et des mathématiques doivent donc surveiller ces développements pour comprendre leurs implications pratiques et éthiques.
50 ans
💬 Thomas Bloom, Mathématicien à l'Université de Manchester
Public concerné : développeurs, entreprises
Comment GPT-5.6 Sol Ultra a-t-il résolu une conjecture mathématique vieille de 50 ans ?
GPT-5.6 Sol Ultra a combiné habilement des outils mathématiques existants pour résoudre la conjecture en moins d'une heure, sans utiliser de nouvelles théories. Le mathématicien Thomas Bloom qualifie la preuve de 'très belle' et 'élémentaire'.
