Modèles d’IA 11 novembre 2026 PSI prouve la conjecture Aaronson-Ambainis avec l’aide de l’IA Une conjecture en suspens depuis 2008 sur les limites de l'accélération quantique est désormais un théorème, grâce à un système de recherche piloté par l'IA.
