PSI revendique une preuve mathématique assistée par un modèle Anthropic non public
Physical Superintelligence a annoncé le 6 novembre 2026 une preuve de la conjecture d’Aaronson-Ambainis, obtenue avec un système utilisant un modèle Anthropic non public. Le laboratoire dit que l’assistant de preuve Lean a accepté la formalisation.
Le manuscrit et le code sont accessibles publiquement. Le résultat porte sur le nombre de lectures des données nécessaire aux calculs quantiques sur des entrées aléatoires ; il ne démontre pas que les ordinateurs quantiques sont inutiles ou dépourvus d’avantage sur les problèmes structurés.
Le dépôt précise qu’un humain doit encore vérifier la correspondance entre l’énoncé formel et la conjecture imprimée, et que le texte de l’article n’est pas vérifié par machine. David Turturean a dirigé et relu le travail et en assume la responsabilité. Le nom du modèle n’est pas révélé ; la validation indépendante complète et la reproductibilité du système d’IA restent à établir.