2026年10月12日 18:35
DeepMind、AlphaProof Nexusで未解決問題に成果
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
3行まとめ
- •AlphaProof Nexusが数十の未解決数学問題を解決
- •エルデシュ問題9件、うち2件は56年未解決
- •Scienceに掲載、査読を経て公開
詳細
背景
Google DeepMindのAIシステム「AlphaProof Nexus」について、Science誌に掲載された研究が公開された。AIによる数学の証明は近年急速に進んでおり、未解決問題への挑戦が注目されている。一方で、OpenAIがAIの生成した証明を査読なしでGitHubに大量に投稿したとして、ボイコットに直面している状況がある。
内容
研究によると、AlphaProof Nexusは数十の未解決の数学問題を解決した。その中には9件のエルデシュ問題が含まれ、うち2件は56年間未解決だった問題である。DeepMindは結果を公開する前に第三者による査読を受け、その成果をScience誌に発表した。AIが出した証明を専門家の検証にかけた点が、査読なしで証明を公開した事例との違いとして対比されている。
今後の影響
AIによる数学的発見の信頼性をどう担保するかが、研究コミュニティで問われている。DeepMindの事例は、AI生成の証明を査読付き論文として発表する手順の一例となった。今後のAI数学研究では、成果の検証と公開の方法が評価の基準になる。
なぜ重要か
AIが56年間未解決の数学問題を解き、査読付きで発表された。AIによる科学的発見の検証と公開の進め方を示す事例である。
元記事を読む — The Decoder