aiminute. ← Toute l’actu IA
Recherche AI Minute Newsroom 2026-08-06

Pourquoi les problèmes d'Erdős tombent les uns après les autres face à l'IA — et ce qu'en disent les mathématiciens

Pourquoi les problèmes d'Erdős tombent les uns après les autres face à l'IA — et ce qu'en disent les mathématiciens

Quanta Magazine retrace comment erdosproblems.com — un catalogue d'amateur recensant les plus de 1 200 problèmes laissés par Paul Erdős — est devenu l'arène où les laboratoires d'IA éprouvent leurs mathématiciens artificiels. Les modèles d'OpenAI ont résolu en mai le problème de la distance unité, vieux de 80 ans, puis trois autres problèmes d'Erdős le 1er août ; Google DeepMind en a résolu quatre, exhumé neuf solutions oubliées et clos de façon autonome 9 des 353 problèmes posés formellement. Le site compte désormais 565 problèmes résolus contre 652 ouverts, et les problèmes d'Erdős se concentrent en théorie des nombres et en combinatoire — précisément là où les modèles de langage excellent.

Pourquoi c'est importantCe sont de vraies questions jamais résolues, pas des benchmarks : chaque problème qui tombe marque un jalon de capacité authentique. Et la réaction divise les mathématiques : un vétéran de Princeton estime qu'un problème 'perd son intérêt' dès que l'IA sait le résoudre, tandis que le fondateur du site met en garde contre des démonstrations machinales qu'aucun humain n'a lues — un avant-goût des débats qui attendent bientôt tous les champs de recherche.
#Science & Recherche

✓ Vérifié · 2 sources

▶ Vidéo associée: The truth behind AI “solving” the Erdos problems
WhatsApp X Telegram
Lire dans l'app — gratuit, en 9 langues

Actus liées

Les États-Unis placent l'IA au cœur de la science avec 16 pays.
2026-10-05
Cinq problèmes ouverts sont tombés dans un chat ordinaire.
2026-10-05
Les modèles bruts ont réussi des tâches que leur version polie rate.
2026-10-04
Un modèle nourri de photos banales atteint 70% en raisonnement.
2026-10-04
Google a mis ses puces d'IA en orbite pour voir si elles tiennent.
2026-10-03