Intelligence IAJul 10, 2026Intelligence IA
Article
Le GPT-5.6 Sol Ultra d'OpenAI a produit une preuve pour la conjecture mathématique « Cycle Double Cover Conjecture » vieille de plusieurs décennies.
Cela souligne la capacité croissante des modèles d'IA à résoudre des problèmes scientifiques complexes, mais soulève également des questions concernant la vérification de telles preuves générées par l'IA.
Redaction Data Cube AISource: Hacker News
01
Brief source
Le GPT-5.6 Sol Ultra d'OpenAI a produit une preuve pour la conjecture mathématique « Cycle Double Cover Conjecture » vieille de plusieurs décennies. Cela souligne la capacité croissante des modèles d'IA à résoudre des problèmes scientifiques complexes, mais soulève également des questions concernant la vérification de telles preuves générées par l'IA.