OpenAI affirme que son système d’IA a réfuté l’hypothèse du temps exponentiel, une thèse ancienne sur la difficulté de résoudre certains problèmes logiques. L’annonce du 26 octobre a incité des chercheurs à organiser un examen indépendant, tandis que le résultat communiqué n’établit pas une attaque pratique contre Bitcoin.
Le manuscrit, daté du 17 octobre et révisé le 25 octobre, revendique un algorithme déterministe qui compte exactement les affectations satisfaisantes de formules booléennes à largeur fixe en temps sous-exponentiel et avec un espace polynomial. Le problème concerne 3-SAT, dans lequel un ordinateur cherche des affectations vrai ou faux qui satisfont des règles logiques. OpenAI affirme que ces travaux ont été vérifiés dans Lean, mais la note précisant la portée de la formalisation couvre une borne sous-exponentielle plus faible que l’affirmation la plus ambitieuse du manuscrit.
Pourquoi c’est important
Un résultat sous-exponentiel ne constitue pas un algorithme pratique pour les machines actuelles. Il n’établit pas non plus l’existence d’un algorithme en temps polynomial et ne tranche pas la question P=NP. Les chercheurs qui organisent l’examen ont précisé que leur participation ne devait pas être considérée comme une certification, et ils prévoient de publier leurs conclusions au fur et à mesure de l’analyse.
La pertinence pour Bitcoin dépend de la distinction entre deux questions de sécurité. Le minage consiste à trouver un hachage d’en-tête de bloc inférieur à une cible, tandis que l’autorisation des dépenses repose sur les signatures ECDSA et Schnorr sur la courbe secp256k1. Ces systèmes dépendent de la résistance au problème du logarithme discret sur les courbes elliptiques et de la sécurité des fonctions de hachage, et pas simplement de la difficulté des instances de SAT dans le pire des cas.
Impact sur le marché
Cette affirmation ne montre pas à elle seule qu’un attaquant peut retrouver des clés privées Bitcoin, falsifier des signatures ou obtenir un avantage pratique dans le minage. Une attaque concrète nécessiterait un encodage adapté, une implémentation et une comparaison des coûts. Le nombre de variables d’une formule SAT ne peut pas non plus être assimilé directement à la taille d’une clé cryptographique ou à la longueur en bits d’un hachage.
L’ajustement de difficulté de Bitcoin recalcule la cible de minage tous les 2 016 blocs, mais ce mécanisme régit la production des blocs et non l’autorisation des signatures. Pour les marchés, le signal immédiat est la poursuite de l’examen du résultat, et non une modification démontrée des hypothèses de sécurité de Bitcoin.
Questions fréquemment posées
-
Quel problème la percée revendiquée par OpenAI vise-t-elle ?
Le résultat porte sur 3-SAT et des problèmes de comptage associés à des formules booléennes. Il concerne la complexité computationnelle dans le pire des cas, et non une attaque démontrée contre Bitcoin.
-
Le résultat tranche-t-il la question P=NP ?
Non. Les travaux communiqués n’établissent pas l’existence d’un algorithme en temps polynomial et ne tranchent pas la question de savoir si tout problème dont la solution peut être vérifiée efficacement peut aussi être résolu efficacement.
-
Pourquoi ce résultat ne menace-t-il pas immédiatement les signatures de Bitcoin ?
L’autorisation des dépenses sur Bitcoin utilise les signatures ECDSA et Schnorr sur secp256k1. Un résultat sur SAT dans le pire des cas ne fournit pas à lui seul une méthode pour retrouver des clés privées ou falsifier ces signatures.
-
Cette percée pourrait-elle donner immédiatement un avantage aux mineurs ?
Aucun avantage immédiat dans le minage n’a été démontré. Le minage de Bitcoin nécessite de trouver un hachage d’en-tête de bloc inférieur à une cible, et une attaque pratique nécessiterait une implémentation ainsi qu’une comparaison des coûts.
-
Que va-t-il se passer ensuite concernant l’affirmation d’OpenAI ?
Des chercheurs organisent un examen indépendant sans considérer leur participation comme une certification. Ils prévoient de partager leurs conclusions au fur et à mesure de l’analyse.
WuBlockchain
CoinTelegraph
WatcherGuru
CoinDesk
Altcoin Daily
TheBlock
Crypto News