Aller au contenu
Édition du soir · N° 574 · prochaine à 9 h
Compte
Connexion

Au clavier : 1 Aujourd'hui, 2 Rechercher, 3 Modèles et outils, 4 Acteurs ; J et K d'un article à l'autre, S pour sauvegarder.

Fellow
La veille de l'intelligence artificielle, en français
Rechercher⌘K
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.

quantamagazine.org·repéré via Hacker News·5 août 2026
Pourquoi les problèmes d'Erdős tombent un à un face à l'IA
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.

Traduit et résumé par IA à partir de l'article de quantamagazine.org ↗ · Comment Fellow travaille

OUVRIR LA SOURCE ↗
#mathématiques#IA#preuve-formelle#raisonnement

Une question sur cet article ?

Fellow répond à partir de ce qu'il a publié et cite chaque source. Réponses rédigées par une IA.

À lire aussi