Publié le 7 novembre 2026 à 19h58 - Dernière mise à jour le 7 novembre 2026 à 19h58
Une société américaine, Physical Superintelligence, affirme avoir obtenu grâce à un modèle d’Anthropic une démonstration de la conjecture d’Aaronson-Ambainis, un problème de mathématiques lié à l’informatique quantique, posé en 2008. La démonstration aurait été formalisée avec Lean, un logiciel de vérification mathématique. Mais l’annonce du 6 novembre n’a pas encore reçu de validation scientifique indépendante.