Vous avez probablement vu la recherche intitulée « OpenAI a prouvé que l’ETH est faux ». Respirez. Même si cela semble drôle, il ne s’agit pas de l’ETH, et cela n’a rien à voir avec Ethereum. Ici, ETH désigne l’Hypothèse de Temps Exponentiel, une hypothèse formulée en 2001 sur la difficulté des problèmes les plus complexes en informatique. En termes simples : il existe un problème classique difficile appelé SAT : une formule logique longue, à laquelle il faut trouver des valeurs qui la rendent vraie. Tout le monde supposait que la seule méthode possible consistait à tester toutes les 2^n combinaisons, environ. Des centaines de résultats du type « cette tâche est aussi difficile que SAT » reposent sur cette hypothèse. Un modèle d’OpenAI a rédigé un article de 67 pages présentant un algorithme qui résout ce problème significativement plus vite que 2^n. Si cette découverte est validée, l’hypothèse est infirmée et une grande partie de la théorie devra être réécrite. Une formalisation rigoureuse a été publiée, et trois théoriciens de la complexité de premier plan l’examinent actuellement.