動察 Beating AI 速報、OpenAI は先ほど、AI が1999年に提唱された指数時間仮説(ETH)を覆したと発表し、Anthropic も Claude の独立した研究成果を公開した。両社が明らかにした発見日はなんと同じ日、10月16日だった。
ETH は、一部の計算問題は極めて困難であり、アルゴリズムをどう最適化しても、最も難しい問題に遭遇すると計算時間は問題規模の拡大に伴って指数関数的に急増すると考えている。両モデルはそれぞれこの制限を突破する準指数時間アルゴリズムを見つけ、3-SAT 問題について解が存在するかどうかを判定するだけでなく、条件を満たす答えが何通りあるかを正確に算出することさえできた。
Anthropic の開示によると、Claude は人間の中途入力なしに独立して核心アルゴリズムを見つけ、研究プロセス全体で約1400万トークンを出力した。その後、Anthropic の研究者が Claude と協力して論文を整理・完成させた。
双方は現在、論文と Lean 形式化証明をすでに公開しており、学界によるさらなる検証を待っている。