Anthropic、ClaudeがETHを反証するアルゴリズム発見と発表

Anthropicは、内部の研究用Claudeモデルが指数時間仮説（ETH）を反証するアルゴリズムを人間の介入なしに見つけたと発表した。aitimes.comが報じた。同社の発表は、OpenAIが数学・計算機科学の難問について類似の成果を公表してから約6時間後に行われた。

両社は発見日を2026年10月16日としている。Anthropicの研究者Levent Alpöge氏はXへの投稿で、社内の研究用Claudeモデルが同日、鍵となるアルゴリズムを人手を介さずに発見したと述べた。Anthropicによれば、AIが生成した出力は計1400万トークンに達した。

Anthropicは論文「Subexponential-time algorithms for 3-SAT」とLeanによる検証コードをGitHubで公開した。論文の著者名には個人ではなく「Claude (Anthropic)」と記されている。提案されたアルゴリズムは3-SATを準指数時間で解くもので、ETHの前提と矛盾する。

この結果は理論上のものであり、実際のプログラムが直ちに高速化することを意味するものではない。OpenAIはモデルが10月16日にETHを反証する証明を見つけ、翌日にLeanで検証したと述べている。両社は異なる詳細手法で同日に独立して同様の結論に到達した。

ETHは1999年に提唱され、計算機科学におけるアルゴリズムの限界を分析する中核的な根拠とされてきた。グラフ理論や計算生物学、データベースに用いられ、OpenAIによれば多数の研究成果がこの仮説に依拠している。ただし、両社の主張はいずれも学界による最終的な検証を受けていない。