AIが準リーマン予想を証明。今後どうなるのか？
Quantaによると、OpenAIのモデルが黎曼予想の弱い版である準リーマン予想の証明を生み出し、その一版はLeanで形式検証された。証明を検討した数論研究者は概ね正しいと認め、AIによる数学の成果としてこれまでで最も重要だと評している。完全なリーマン予想を解決したわけではないが、AIが既存のアイデアを統合し、専門家が手の届かないと考えていた問題に挑めることを示した。
報道ソース
- Hacker News (AI)2026-10-19 17:09