ビットコイン暗号に脅威？OpenAIの反証主張、専門家は検証待ち

OpenAIは10月26日、同社のAIシステムが「指数時間仮説（ETH）」を反証したと発表しました。ETHは、3-SATと呼ばれる論理パズルを解くには最悪の場合に変数の数に対して指数関数的な時間がかかるとする長年の仮説です。仮想通貨のイーサリアム（ETH）とは関係ありません。

10月17日付で25日に改訂された論文は、一定幅の論理式を満たす解の数を、指数関数より緩やかに増える時間で正確に数えるアルゴリズムを示したとしています。OpenAIは、証明支援ツール「Lean」で検証済みとしています。ただし、Leanで確認されたのは論文の最も強い主張より弱い時間の上限です。また、多項式時間のアルゴリズムを示したものではなく、「P≠NP予想」を解決するものでもありません。

検証はライアン・ウィリアムズ氏ら3人の研究者が、秘密保持契約や報酬なしで進めます。3人は、関与が主張の正しさを保証するものではないと明言しています。ウィリアムズ氏は、既存の暗号方式は安全なようだとOpenAIから伝えられたとしていますが、独立した暗号監査ではありません。OpenAI自身も実用的な改善には相当の研究が必要としています。

ビットコインではマイニング（ハッシュ値の探索）と送金時の署名（楕円曲線暗号）は別の仕組みです。実際の攻撃には問題の変換方法や実装、コスト比較が必要になります。論理式の変数の数を暗号鍵のビット数に置き換えることもできません。

今回の主張がビットコインに与える影響は、検証の進展を見て判断することになりそうです。

記事ソース：資料