Anthropic affirme que son IA a égalé la moitié des percées de OpenAI en 24 heures

OpenAI a annoncé samedi qu'une version interne de son prochain modèle majeur d'IA, nommé Astra, avait résolu ou réalisé des progrès substantiels sur 10 problèmes ouverts de longue date en mathématiques et en informatique théorique. En moins de 24 heures, Levent Alpöge, chercheur chez Anthropic, a riposté en affirmant avoir utilisé Claude Fable, disponible publiquement, pour résoudre indépendamment cinq de ces mêmes problèmes.

Cet échange marque l'escalade la plus récente et peut-être la plus frappante dans la rivalité entre les deux principales entreprises d'IA, le raisonnement mathématique avancé devenant un nouveau terrain de bataille.

Les affirmations mathématiques d'Astra

Dans un article de blog intitulé « Dix avancées en mathématiques et en informatique théorique », OpenAI a indiqué que ces problèmes n'avaient « connu aucun progrès sur le résultat principal depuis au moins une décennie ». Les résultats couvrent la géométrie en grande dimension, la théorie des codes, la complexité des circuits arithmétiques, la théorie des groupes, les algèbres d'opérateurs, la complexité quantique, la cryptographie sur les réseaux et la combinatoire extrémale.indianexpress+1

Parmi les réussites revendiquées, Astra a prouvé que des groupes non sofiques existent, une question ouverte depuis 1999, et a résolu la conjecture de rigidité d'Alain Connes ainsi que la conjecture du volume d'Ehrhart. OpenAI a précisé que les preuves avaient été formalisées dans Lean 4 et qu'elle publierait le récit par le modèle de son processus de raisonnement. L'entreprise a estimé que la reproduction de ce travail coûterait environ 2 000 dollars aux tarifs de l'API GPT-5.6 Sol.openai+3

OpenAI n'a fourni aucun détail technique sur l'architecture d'Astra ni sur son calendrier de déploiement. Le mathématicien Terence Tao a noté que les problèmes, bien que difficiles, étaient « solvables avec des techniques connues » plutôt que de constituer les questions non résolues les plus profondes des mathématiques.instagram

La réponse rapide d'Anthropic

Peu après l'annonce, Alpöge a publié sur X que Claude Fable avait résolu cinq des mêmes problèmes en moins de 24 heures, en travaillant de manière autonome avec des invites génériques et sans accès à Internet. Les problèmes qu'il a cités incluent la complexité des circuits arithmétiques, la répétition parallèle quantique et le problème du vecteur le plus proche.moneycontrol+2

Alpöge n'est pas un novice en mathématiques assistées par IA. En juillet, l'ancien major de promotion d'Harvard a utilisé Claude Fable 5 pour réfuter la conjecture jacobienne, vieille de 87 ans, pendant la finale de la Coupe du monde, un résultat qui a depuis été vérifié de manière indépendante. Anthropic n'a pas publié d'article officiel vérifiant ces dernières affirmations, et OpenAI n'a pas répondu publiquement.fortune+2

Un nouveau front dans la course à l'IA

OpenAI a reconnu que les systèmes d'IA capables de contribuer à la recherche mathématique soulevaient des questions non résolues concernant la paternité des travaux. « Revendiquer la paternité humaine pour une preuve entièrement générée par un système d'IA dénaturerait à la fois la contribution du système et le travail intellectuel humain », a écrit l'entreprise. Elle a appelé l'ensemble de la communauté académique à l'aider à élaborer des normes d'attribution.indianexpress

Ces échanges suggèrent que les modèles d'IA de pointe de plusieurs entreprises convergent vers des capacités mathématiques de niveau recherche, et que la prochaine phase de compétition pourrait ne plus se mesurer sur des bancs d'essai de chatbots, mais en théorèmes.