Anthropic : Claude aurait réfuté l'hypothèse du temps exponentiel
Le modèle interne d'Anthropic a trouvé un algorithme attaquant l'ETH, quelque six heures après une annonce similaire d'OpenAI, selon aitimes.com.
Anthropic a publié une recherche affirmant que son modèle d'IA, Claude, a réfuté l'hypothèse du temps exponentiel (ETH), selon aitimes.com. Cette publication est intervenue environ six heures après qu'OpenAI a annoncé des résultats comparables sur des problèmes difficiles de mathématiques et d'informatique.
Les deux entreprises indiquent que les découvertes ont été réalisées le 16 octobre. Le chercheur d'Anthropic Levent Alpöge a déclaré sur X qu'un modèle Claude interne, dédié à la recherche, avait trouvé l'algorithme clé sans intervention humaine ce jour-là. Anthropic précise que la production générée par l'IA a atteint 14 millions de tokens.
La société a mis en ligne un article intitulé « Subexponential-time algorithms for 3-SAT » ainsi que le code de vérification Lean sur GitHub. L'auteur de l'article est mentionné comme « Claude (Anthropic) » plutôt que comme une personne. L'algorithme proposé résout le problème 3-SAT en temps sous-exponentiel, ce qui contredit la prémisse de l'ETH.
OpenAI affirme de son côté que son modèle a trouvé le 16 octobre une preuve réfutant l'ETH, vérifiée dans Lean le lendemain. Les deux entreprises ont abouti à des conclusions similaires de manière indépendante le même jour, avec des approches détaillées différentes. Le résultat reste théorique : il ne signifie pas que des programmes réels s'exécuteront immédiatement plus vite.
Une vérification académique encore attendue
L'ETH a été proposée en 1999 comme base centrale pour l'analyse des limites algorithmiques en informatique ; elle est utilisée en théorie des graphes, en biologie computationnelle et dans les bases de données, et selon OpenAI, des centaines de résultats de recherche reposent sur elle. À ce stade, les affirmations des deux entreprises n'ont pas encore été définitivement validées par la communauté académique.
En bref
Qu'a découvert le modèle Claude d'Anthropic ?
Selon Anthropic, un modèle Claude interne a trouvé un algorithme résolvant le 3-SAT en temps sous-exponentiel, ce qui contredit l'hypothèse du temps exponentiel.
Ce résultat va-t-il accélérer les programmes actuels ?
Non : le résultat est théorique et ne signifie pas que des programmes réels s'exécuteront immédiatement plus vite.
Les résultats ont-ils été validés par la communauté académique ?
Pas encore : les affirmations d'Anthropic et d'OpenAI n'ont pas été définitivement vérifiées par la communauté académique.