Résolution du problème d'Erdős #1196 assistée par IA (heise.de)

• Preuve d'une conjecture mathématique non résolue depuis 60 ans.
• GPT-5.4 Pro dépasse les méthodes heuristiques traditionnelles.
• Changement structurel dans la recherche en mathématiques théoriques.

"Un utilisateur de 23 ans a résolu une conjecture mathématique vieille de 60 ans, le problème #1196 d'Erdős, via GPT-5.4 Pro. Cette prouesse technologique démontre la capacité des modèles d'IA récents à naviguer dans des espaces de preuves complexes, marquant un tournant pour les mathématiques fondamentales et l'automatisation de la découverte scientifique."