AI、リーマン予想の周辺で小さな数学的進展を達成

この報告は、AI が純粋数学の補助的役割で達成できることの具体例を示しています。Anthropic の定理 D という既存の解析的結果（Lean 4 による形式化済み）に対し、別の AI が生成した研究草稿がわずかな改善を導き出し、その改善をコンピュータで正確に再現・検証できる形で示されました。バウンドは 67.25% から 0.6730213619501665335… へと改善されており、この値は区間演算検証器で確認されています。

ただし著者たちは慎重さを強調しており、「査読を受けていない候補的な改善」であること、Anthropic の論文から輸入した解析的結果に依存すること、および「より広い専門家による検証が必要」であることを明確に述べています。この点で、AI の成果をただちに定理として受け入れるのではなく、人間の数学コミュニティによる検証プロセスを重視する姿勢が見えています。