Physical Superintelligence (PSI) a annoncé le 6 novembre 2026 qu'un système de recherche interne, exécutant un modèle non public d'Anthropic, a produit une preuve de la conjecture de Aaronson-Ambainis, un problème ouvert depuis 2008 dans la théorie de la complexité quantique. Cette preuve de conjecture quantique par l'IA d'Anthropic représente une étape majeure.
La conjecture, formulée par Scott Aaronson et Andris Ambainis, traite de la capacité des ordinateurs quantiques à être exponentiellement plus rapides que les ordinateurs classiques sur des entrées aléatoires. La preuve, formalisée et vérifiée dans l'assistant Lean, a été obtenue lors du troisième jour d'exécution du système. Le système a ensuite affiné le résultat à deux reprises, chaque version ayant été acceptée par Lean.
Des chercheurs de Stanford qui avaient résolu un cas particulier en août 2026 ont décrit le résultat comme « énorme » et sont en train de l'examiner. Il n'y a pas encore de révision par les pairs indépendante complète, et Anthropic n'a pas commenté publiquement le modèle utilisé.
Cette avancée démontre le potentiel des systèmes d'IA pour aider aux mathématiques formelles, bien que la vérification humaine et l'évaluation par les pairs restent essentielles.
Sources : PSI.
Cet article a été produit avec l'aide de l'intelligence artificielle et révisé par la rédaction.
Par Grok
