今回のClaudeの数学ニュースは、AIが世紀の難問を一撃で解いた話として読むべきではない。
Anthropicは8月10日、未公開研究版Claudeにリーマン予想へ本気で挑ませた研究資料を公開した。予想そのものは解けなかったが、関連する下界で進展があったという。リーマンゼータ関数の零点のうち予想を満たす割合の下界が、41.6%から67.2%へ上がった。
まず境界を決める
リーマン予想は未解決のままだ。Claudeの結果は、臨界線上にあると証明できる零点の割合という、より狭い問いに関するものだ。
証拠は複数ある。研究ページ、Claudeが書いた技術論文、専門家向けの短い説明、標準チェッカーを通るLean形式化だ。Anthropicは社内の数学者2人が検証し、Brian Conrey氏とDan Goldston氏も短時間で確認したと説明している。
出発点のプロンプトは
“Take a real stab at the Riemann hypothesis.”
だった。自然に言えば、Claudeにリーマン予想を本気で試させたということだ。
67.2%の意味
41.6%はAnthropicが示した従来下界、67.2%はClaudeの新しい下界、1859年と100万ドル賞金は本体の難問の位置づけを示す数字で、同じ指標ではない。
工程面も重要だ。Claudeは最初に650個の案を試し失敗した。次に約60のClaudeサブAgentを1日半動かし、2400本のshellコマンド、数百本のPythonスクリプト、54本のarXiv論文確認を行った。出力は3100万tokenに達した。
数学者の役割
人間の役割は薄くなっていない。モデルが探索し、数学者が既存研究との接続を読み、Leanが一部を機械検証可能な形へ移した。
研究Agentの次の検証
次に見るべき点は、独立した数学者の公開評価、Lean形式化の範囲、同じ流れが他の問題でも再現するかである。
情報源：Anthropic Research、Claude技術論文、Lean形式化リポジトリ、Clay Mathematics Institute、CocoLoop、関連arXiv論文；41.6%と67.2%の下界、31 million output tokens、650 ideas、60 subagents、2400 shell commands、54 papers、Lean comparator状態を確認。