
L’IA vient peut-être de remettre en question l’une des hypothèses les plus fondamentales de l’informatique. Mais la véritable histoire ne concerne pas l’ETH. Le 26 octobre, OpenAI a annoncé qu’un modèle interne d’IA avait produit une réfutation revendiquée de l’hypothèse du temps exponentiel (ETH) — une conjecture fondamentale sous-tendant des centaines de résultats sur la complexité computationnelle. La revendication : un algorithme déterministe à temps sous-exponentiel pour le comptage exact des affectations satisfaisantes dans des formules booléennes à largeur fixe. Si elle est correcte, l’ETH tombe. De même que plusieurs conjectures plus fortes. Mais P ≠ NP reste non résolu. Et théoriquement plus rapide ne signifie pas nécessairement pratiquement utile. La preuve a été formalisée dans Lean. Un examen indépendant est en cours d’organisation par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams du MIT. Leur implication ne constitue pas une endorsement. La validation indépendante reste essentielle. Mon point de vue : nous assistons potentiellement à trois percées, et non à une seule. Mathématique : Un obstacle de longue date en complexité computationnelle pourrait avoir été renversé. Scientifique : L’IA pourrait passer d’un rôle d’assistance aux chercheurs à la génération de connaissances véritablement novatrices. Institutionnelle : La communauté scientifique doit repenser la manière dont les découvertes sont vérifiées, comprises, créditées et reproduites. La troisième pourrait s’avérer la plus conséquente. Pendant des siècles, générer des découvertes de pointe exigeait une expertise humaine rare et des années de recherche. Que se passe-t-il lorsque l’IA peut générer des découvertes mathématiques crédibles plus rapidement que les humains ne peuvent les valider et les comprendre de manière indépendante ? Le goulot d’étranglement passe de la découverte à la vérification, à l’interprétation et au jugement scientifique. Et éventuellement, l’IA pourrait aussi accélérer ces processus. Le véritable point de bascule n’est pas l’IA résolvant un problème célèbre. C’est l’IA élargissant répétitivement les frontières de la connaissance humaine. Nous n’y sommes pas encore conclusivement. Mais ce développement mérite une attention sérieuse. La question n’est plus simplement de savoir à quel point l’IA peut devenir intelligente. Elle est de savoir si nos institutions scientifiques peuvent évoluer suffisamment vite pour évaluer ce que l’IA découvre. Annonce d’OpenAI : https://t.co/G0p0VEMjlC Articles de recherche et formalisations Lean : https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI


