Tu suis la course aux modèles IA ?
Chaque sortie (GPT, Claude, Gemini, Mistral…) décryptée le soir même, en 5 min. Gratuit.
Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.
Choisis ton rythme
Gratuit · Pas de spam · Désabonnement en 1 clic
Les avancées en intelligence artificielle continuent de repousser les limites du possible, et Claude Mythos d'Anthropic en est un exemple frappant. Selon les employés d'Anthropic, Claude Mythos a réussi à résoudre la célèbre conjecture de distance unitaire d'Erdős, un problème de géométrie combinatoire qui restait sans solution depuis 1946. Cette prouesse intervient peu après qu'OpenAI ait également réfuté cette même conjecture.
Sholto Douglas, ingénieur chez Anthropic, a partagé sur X que Claude Mythos a résolu le problème avec une "preuve mignonne et simple". Cette déclaration met en lumière ce qu'il considère comme un "sérieux retard" dans les découvertes mathématiques alimentées par l'IA. L'équipe a utilisé un système de test construit après que l'IA ait résolu le problème d'Erdős #1196. Des instances de Claude Code, équipées de Mythos, développent des solutions indépendantes avant de les résumer et de les partager. Mythos a souvent emprunté une voie différente de celle du modèle d'OpenAI.
Bien que le mathématicien Daniel Litt ait qualifié la solution de Mythos de "moins bonne" que celle d'OpenAI, il a reconnu que Mythos avait également trouvé la solution proposée par OpenAI. Anthropic a publié une version de la preuve, préparée par Opus 4.7, pour partager ces résultats.
Par ailleurs, Google DeepMind a récemment annoncé que son propre système assisté par IA avait résolu neuf problèmes d'Erdős. Cependant, leur approche, basée sur le langage de preuve formelle Lean, est considérée comme moins impressionnante par les puristes des modèles de langage. Claude Code, bien qu'il ne soit pas un modèle de langage pur, est un agentic harness, démontrant ici sa capacité à rivaliser avec les meilleurs systèmes d'IA actuels.
