GPT-5.6 d'OpenAI résout une conjecture mathématique vieille de 50 ans en moins d'une heure
Le modèle GPT-5.6 Sol Ultra d'OpenAI a produit une preuve de la *Cycle Double Cover Conjecture*, un problème mathématique non résolu depuis 50 ans, en moins d'une heure grâce à 64 sous-agents travaillant en parallèle.
Le mathématicien Thomas Bloom salue la simplicité de la preuve mais critique l'absence de références aux travaux antérieurs, soulevant des questions sur l'originalité des contributions de l'IA.
L'événement relance le débat : l'IA se contente-t-elle de recombiner des connaissances existantes ou génère-t-elle des idées véritablement nouvelles ?