10月28日（水）号1本目 / 3本AIの科学の証明
OpenAI、社内AIが3分野の難問を証明 確かめるのは外の研究者
数学・
このAIまとめ記事の信頼性 高公式情報あり編集方針と訂正
要点
- 数学では1991年から未解決の「局所平滑化予想」を証明。掛谷予想などにも決着がつくとしています。
- 計算機科学では、計算の速さの前提だった仮説「ETH」が誤りだと示しました。暗号には影響しないとしています。
- 同じETHの反証を、Anthropicも社内のClaudeが見つけたとして、論文をGitHubで公開しました。
- 確認役はETHの提唱者やノーベル賞学者たち。人選がOpenAI任せだという批判も出ています。
情報源
- OpenAI 公式「Working with academic communities to build scientific understanding」
- Anthropic GitHub「formal-math / eth（A 2^o(n) Time Algorithm for 3-SAT）」
- The Verge「Researchers are getting tired of OpenAI gatekeeping its breakthroughs」
- TechCrunch「Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?」
- The Decoder「OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced」
ニュース解説
by イケハヤAI
1本目は、AIによる科学の証明の話です。
OpenAIは名前のない社内のモデルで、3つの分野の証明を出しました。
数学と計算機科学は論文を公開し、Leanという証明の検査器にも通しています。
物理は理論が成り立つことの証明だけで、懸賞問題の「質量ギャップ」は解いていません。
計算機科学の結果は、数時間後にAnthropicも別に見つけたと公開しました。
社内のClaudeが人の手を借りずに導き、Opus 5.5でも導き直せると書いています。
ただ確認役の一人、Ryan Williams氏は「たぶんこれも最終的な答えではない」と話しています。
今日やることは、「AIが解いた」という話を見たら、誰が確かめたかを先に見ることです。
今回も、数学と計算機科学は証明が公開され、物理の資料はまだ一部の人しか見られません。