OpenAIがETHは誤りであることを証明、暗号Twitterは疑問を持つ

By: decrypt.co|2026/10/27 16:53:13

OpenAIはETHが誤りであると述べ、暗号Twitterは予想通りの反応を示しました。「クソアルゴトレーダーが$ETHを屠殺した」とユーザーのTakumiがXに投稿し、Andrew Jiangは「この件が出て以来、Vitalikは本当に静かだ」と皮肉を言いました。

しかし、落ち着いてください、デジェンズ。問題のETHは、1999年のコンピュータサイエンスの仮説である指数時間仮説（Exponential Time Hypothesis）であり、Ethereumやその価格、共同創設者のVitalik Buterinとは何の関係もありません。ですので、暗号の兄弟たち、安心してください。

OpenAIは、AIがこの仮説を回避する方法を見つけたと主張する67ページの論文を発表し、提案した人々は現在その成果を確認しています。

コンピュータ科学者のラッセル・インパリアッツォとラマモハン・パトゥリはフランシス・ゼインと共にETHを提案しました。ETHは、3-SATと呼ばれる古典的な論理パズル（ルールの束を満たす真偽設定を見つけること、3つの選択肢を同時に）を、すべての組み合わせを試すよりもはるかに早く解決できないことを示しています。OpenAIによると、数百の論文は、グラフ理論、計算生物学、データベース、幾何学の問題が迅速に解決できないことを示すためにこれを前提としています。

Myriad: ETHは次にどこに行くのか？予測を立てるためにクリックしてください。

言い換えれば、ETHはコンピュータが決して速く行えないであろうことの地図であり、OpenAIはそのモデルがそれを再描画したと述べています。「ETHの反証は、これらのタスクがどれだけ速くなる可能性があるかについての疑問を再開させます」と同社はブログに書いており、「より良いアルゴリズムの探索を導くのに役立つかもしれません」と述べています。

10月17日付けで改訂されたこの論文は、サブ指数時間でそのようなパズルのすべての満足する割り当てを数える決定論的アルゴリズム（ランダム性のないもの）を説明しており、変数の数に対して作業が指数的に成長するよりも遅くなることを意味します。解の数を数えることは、解が存在するかどうかを決定するよりも難しいため、より難しい仕事が簡単な仕事を無料で持ってきます。

OpenAIは、AIが10月16日に反証を見つけ、10月17日に論理的なステップを機械的に検証するソフトウェアLeanで形式化されたと述べています。両方ともGitHubにあり、今月初めに公開された722の数学原稿と同じルートにあり、そのうち162のみがコンピュータで確認された主要な結果を伴っています。

インパリアッツォ、パトゥリ、MITのライアン・ウィリアムズが独立した検査を主導しており、彼らは自分たちの役割に慎重です。「私たちの関与は、主張の認証として受け取られるべきではありません」と三人は公開書簡に書き、「このような重要な結果は、慎重で独立した精査と、他の人が再構築し、疑問を持ち、構築できるという理解を必要とします」と付け加えました。

OpenAIは、参加者が非開示契約に署名せず、無報酬で作業していると述べ、同社はすべての生データを公開し、結果に関する会議を資金提供することに同意しました。

実用的な成果はまだ遠いです。「そのようなアルゴリズムを見つけ、理論的な進展を実用的な改善に変えるには、さらなる重要な研究が必要です」とOpenAIは書いています。論文自体は、結果がすべてのNP問題がサブ指数時間で解決できることを示していないため、P対NPの問題、すなわちすべての簡単に確認できる答えを持つ問題が簡単に解決できるかどうかは未解決のままです。

簡単に言えば、Pはコンピュータが効率的に解決できる問題のクラスであり、NPは提案された解決策が効率的にチェックできる問題のクラスです。したがって、P対NP --- 簡単に確認できるすべての問題が簡単に解決できるかどうかの問題 --- は未解決のままです。

アンソロピックは数学戦争に負けたくないため、10月26日付けで「3-SATのための2^o(n)時間アルゴリズム」というタイトルの論文をクロードに帰属させて投稿しました。このリポジトリはETH問題にも取り組んでおり、内部研究クロードモデルがアルゴリズムを発見したと述べ、「結果は純粋に漸近的であり、実際に式を解決することについては何も言っていません。」

OpenAIは、秘密のAIモデルが1つのプロンプトで数百のオープン数学問題を解決したと述べていますが、数学者たちは証拠を求めています。

クロードは9月にフェルマーの最終定理をLeanで形式化し、テレンス・タオはこの種の重複が起こることを予見していました。「誰かが問題に取り組んでいるという噂さえも、元の研究プロジェクトがその完全な潜在能力に達する前に、それを平坦化するためのAI駆動の努力を引き起こすことがあることがわかりました」と数学者は9月に書いています。

OpenAIの最近の500万ドルの寄付は、シモンズ財団に対して、研究者がAIによって生成された結果を検討し、構築するのを助けるためのワークショップ、会議、特別プログラムを資金提供します。

本コンテンツは、一般的な情報提供のみを目的としたものであり、金融、投資、法律、または税務に関する助言を構成するものではありません。ここに記載されているイベント、報酬、オンラインキャンペーン、またはそれらに関連する情報は、暗号資産の購入、売却、取引、その他いかなる取引の推奨、勧誘、または招待とみなされるべきではありません。暗号資産は価格変動が非常に大きく、損失が発生する可能性があります。WEEXのサービス、プロダクト、および関連イベントの提供状況は、地域によって異なる場合があります。お客様は、ご自身の参加が適用される現地の法令を遵守していることを自ら確認する責任を負うものとします。