Anthropic の AI システムがリーマン予想関連の数学的バウンド（限界値）を改善し、その改善がコンピュータで正確に検証できる形で公開されました。
ただし査読は未実施で、これはリーマン予想そのものの証明ではなく、その周辺領域での計算機支援による小さな進展です。
何が起きたか
Anthropic が開発した AI システムが「定理 D」を生成し、別の AI が生成した研究草稿がこれをさらに小さく改善しました。改善されたバウンドは 0.6730213619501665335… となり、公開リポジトリで完全に検証可能な形で整備されています。
なぜ重要か
この改善はリーマン予想そのものの証明ではありませんが、計算機支援を受けた補題が正確に再現でき、区間演算検証器を通じて確認できる点が特筆されています。数学の重要な未解決問題の周辺領域で AI が有用な補助ツールになりうることを示しています。
注目点
著者は「査読を受けていない候補的な改善」であることを強調しており、専門家による幅広い検証がまだ必要だと述べています。リポジトリは MIT ライセンスで公開予定で、他のアーキテクチャでの再現検証を歓迎しています。
この報告は、AI が純粋数学の補助的役割で達成できることの具体例を示しています。Anthropic の定理 D という既存の解析的結果（Lean 4 による形式化済み）に対し、別の AI が生成した研究草稿がわずかな改善を導き出し、その改善をコンピュータで正確に再現・検証できる形で示されました。バウンドは 67.25% から 0.6730213619501665335… へと改善されており、この値は区間演算検証器で確認されています。
ただし著者たちは慎重さを強調しており、「査読を受けていない候補的な改善」であること、Anthropic の論文から輸入した解析的結果に依存すること、および「より広い専門家による検証が必要」であることを明確に述べています。この点で、AI の成果をただちに定理として受け入れるのではなく、人間の数学コミュニティによる検証プロセスを重視する姿勢が見えています。
AIが要約して、あなたの選んだトピックだけを1日1通。LINE・Email・Slackで届きます。
登録無料・30秒で完了・いつでも解除できます
この記事についてわからないことをAIに質問できます。Q&Aはこのページに公開され、他の読者も読めます。
AIニュースの要点を毎朝1分で。
無料で登録
