Intelligence IAJul 12, 2026Intelligence IA
Article
OpenAI's GPT-5.6 Sol Ultra aurait prétendument résolu un problème mathématique non résolu vieux de 50 ans en moins d'une heure.
Le modèle a utilisé 64 sous-agents parallèles pour produire une preuve de la Cycle Double Cover Conjecture. Un mathématicien a qualifié la preuve d'élémentaire surprenante mais a critiqué son manque d'élégance.
Redaction Data Cube AISource: The Decoder
01
Brief source
OpenAI's GPT-5.6 Sol Ultra aurait prétendument résolu un problème mathématique non résolu vieux de 50 ans en moins d'une heure. Le modèle a utilisé 64 sous-agents parallèles pour produire une preuve de la Cycle Double Cover Conjecture. Un mathématicien a qualifié la preuve d'élémentaire surprenante mais a critiqué son manque d'élégance.