🧵 OpenAI affirme que son IA a réfuté l'« hypothèse du temps exponentiel » (ETH), une conjecture d'informatique théorique utilisée dans des centaines d'articles.
Pas encore de relecture par les pairs. Mais si ça tient, c'est un pan de la théorie à revoir.
=====
L'ETH, proposée en 1999 par Impagliazzo et Paturi (avec Zane), dit que certains problèmes logiques (SAT) exigent un temps qui explose de façon exponentielle avec le nombre de variables.
Elle sert à montrer qu'un problème est « dur » (graphes, biologie, bases de données).
=====
OpenAI a publié lundi sur GitHub le texte de son modèle et une preuve en Lean, un logiciel qui vérifie les démonstrations.
Selon OpenAI, l'IA a trouvé la preuve le 16 octobre, formalisée le lendemain. Anthropic a sorti sa propre réfutation peu après.
=====
Trois chercheurs, dont deux auteurs de l'ETH, vont l'examiner : Impagliazzo, Paturi (UC San Diego) et Ryan Williams (MIT).
Leur implication ne vaut pas certification, préviennent-ils. Ils ont obtenu les données brutes et l'engagement d'OpenAI à financer un colloque.
=====
Et la cryptographie ? Ryan Williams dit à TechCrunch avoir posé la question : selon lui, OpenAI a vérifié et se dit raisonnablement confiant qu'aucun système n'est cassé.
À vérifier. La question devient : qui contrôle et valide une science produite par des machines ?
=====
OpenAI
TechCrunch
The future has conditions.
