Epoch : 68 problèmes ouverts, une preuve Lean, et presque personne ne passe
Le 1er septembre 2026, Epoch AI publie FrontierMath Erdős. 68 problèmes encore ouverts en août 2026, formalisés en Lean. Sur le premier passage, seul un GPT-6 Astra de préversion en résout 2. Les quatre autres modèles testés restent à zéro.
Accessible
Illustration originale générée avec une IA · SecuFocus
En bref
L’essentiel
Ce n’est pas un classement de chat. C’est un banc d’essai de maths, avec un budget fixe et une preuve vérifiée. Nous n’avons pas relancé les modèles.
Ce qui change
La note d’Epoch du 1er septembre 2026 décrit 68 problèmes d’Erdős, encore ouverts en août 2026, choisis avec Thomas Bloom et écrits en Lean. Le modèle doit prouver ou réfuter, dans un budget fixé. Une solution compte seulement si la preuve Lean passe la vérification.
Le premier passage couvre cinq modèles : une préversion de GPT-6 Astra, GPT-5.6 Sol, GPT-5.5, Claude Fable 5.1 et Claude Fable 5. Une tentative par problème, 300 dollars et 72 heures. Astra marque 3 %, soit 2 problèmes sur 68. Les autres marquent 0 %.
Ce qui part
Les problèmes partent vers le fournisseur du modèle, avec le temps de travail de l’agent. Epoch chiffre deux réussites d’Astra : le problème 74 réfuté par un contre-exemple, 222 dollars et 10 heures ; le problème 126 prouvé, 172 dollars et 10 heures. Le reste du passage s’arrête faute de budget, sans preuve vérifiée.
Ce que nous n’avons pas vérifié
Nous n’avons pas relancé le banc d’essai, ni ouvert le dépôt Lean. Astra est une préversion, pas le modèle que vous avez dans le chat. Epoch dit aussi avoir fait d’autres essais, hors protocole, avec des budgets plus larges. Ces essais ne sont pas le score.
Le choix
Un score de 3 % sur des problèmes ouverts n’est pas une note de devoir. C’est le signe qu’un banc d’essai dur, vérifié, sépare encore les modèles. Si un éditeur cite « Erdős » sans le protocole, le budget et la preuve Lean, ce n’est pas ce banc-là.
Vérifier, approfondir
Les sources de cet article
Les numéros relient chaque référence aux passages qui l’utilisent. La date indique quand la documentation a été consultée.
Cet article s’appuie sur les sources ci-dessus. Les exercices proposés sont à réaliser sur vos appareils ; SecuFocus ne les présente pas comme des essais menés par la rédaction. Les interfaces et les fonctions peuvent changer. Méthode et corrections.
Citer cet article
Pour retrouver cette lecture ou la partager avec sa référence.