オープンAI、指数時間仮説を反論…ビットコインの暗号解読可能性は不明

オープンAIは人工知能（AI）を用いて指数時間仮説（ETH）を反論したと発表した。ETHは計算の難易度に関する仮説であり、オープンAIはAIがこの仮説が偽であることを証明したと主張している。しかし、ビットコインの暗号解読可能性はまだ証明されていない。オープンAIは「リン（Lean）」というツールを用いて結果を検証し、論文とコードを公開した。指数時間仮説は「3-SAT」問題において計算時間が指数的に増加することを含んでいる。オープンAIは計算時間が緩やかに増加するアルゴリズムを提示した。ビットコインのセキュリティは、特定の計算を現実的な時間内に実行することが難しいという前提に基づいている。しかし、一般的な論理問題を迅速に解く方法がビットコインの秘密鍵を見つける技術につながるわけではない。ビットコインのマイニングはハッシュ値を見つける作業であり、所有者の電子署名が必要である。オープンAIの結果だけでビットコインのセキュリティが無力化されたとは見なせない。独立した検討はUCサンディエゴとMITの教授たちが担当しており、オープンAIは追加の研究が必要であると述べている。