AIが数学界を席巻：未解決問題の相次ぐ解明と研究者への影響

人工知能が過去10年分以上の数学的発見を成し遂げ、数学者たちの危機感を煽っている現状を解説する。国際数学オリンピックやミレニアム懸賞問題など、難易度の高い未解決問題に対するAIの実証的なアプローチとその結果を紹介する。

■ AIによる数学的突破の事例
- エルデシュ予想やヤコビアン予想などの長年の定説がAIによって反証された経緯
- グラフ理論における密接なガール・ゴーマンズ予想の disproving とその手法
- OpenAIおよびAnthropicのモデルが内部で解いた10件のオープン問題とリーマン仮説への進捗

■ 技術的プロセスと検証体制
- Lean証明コンパイラを用いた形式的証明（formal proof）の生成と機械的検証
- Claudeコード内のサブエージェント協調による大量のシェルコマンド実行とスクリプト作成
- 研究者とAIの共同作業における成果の数学的検証プロセス

■ 学界への影響と今後の展望
- Terence Tao氏らが警告する数学的価値と実践の基盤に関する危機
- Leiden宣言によるガードレールの提案とその無視された背景
- 一般開発者から専門数学者まで波及するAI活用によるパラダイムシフト

複雑な数学的問題解決においてAIが果たす役割と、それが数学研究の生態系に与える構造的変化を理解できる内容となっている。