RECHERCHE
Pourquoi les problèmes d'Erdős tombent un à un face à l'IA
Des modèles d'IA aident désormais à résoudre des conjectures mathématiques restées ouvertes depuis des décennies, posées par le légendaire Paul Erdős.
Hacker News (filtré IA)·@pseudolus·5 août 2026
Image · Source originale
Des chercheurs utilisent des outils d'IA, notamment des LLM combinés à des assistants de preuve formelle, pour résoudre des problèmes ouverts issus de la liste des conjectures d'Erdős. Plusieurs de ces problèmes, restés sans solution depuis des décennies, ont récemment été résolus avec l'aide de ces systèmes.
Chaleur 0
Pertinence 65
Nouveauté 60