Après qu'OpenAI ait réfuté la conjecture du nombre unitaire d'Erdős, Anthropic annonce que Claude Mythos a fait la même chose — mais avec une preuve "mignonne et simple" découverte en un weekend. L'ingénieur Sholto Douglas qualifie ce résultat de signe d'une "surcharge sérieuse" dans les capacités mathématiques des IA actuelles.
Cette conjecture, posée par Paul Erdős en 1946, était un problème ouvert majeur en géométrie discrète : elle affirmait qu'aucun ensemble de points du plan ne pouvait avoir exactement une distance unitaire entre chaque paire. OpenAI l'a réfutée il y a quelques semaines. Mythos a reproduit le résultat via une démarche différente et apparemment plus élégante.
OpenAI l'a réfutée il y a quelques semaines.
Ce qui frappait les chercheurs, c'est la vélocité : non seulement l'IA résout des problèmes mathématiques ouverts, mais elle le fait rapidement et propose des solutions alternatives. Cela suggère que les modèles actuels n'exploitent qu'une fraction de leur potentiel en raisonnement mathématique.
La course entre OpenAI et Anthropic sur les preuves formelles devient un véritable baromètre de la capacité réelle des LLM. Chaque nouveau palier franchi rend plus tangible l'idée que l'IA mathématique n'en est encore qu'aux débuts.