DeepMind「AlphaProof Nexus」発表 未解決のエルデシュ問題9件を解決、推論コストは数百ドル
Google DeepMind は、未解決の数学問題に挑む AI「AlphaProof Nexus」の論文を発表した。LLM と証明支援系 Lean を組み合わせ、56 年間未解決だった 2 問を含む 9 件のエルデシュ問題と 44 件の予想をマシン検証付きで解決した。1 問あたりの推論コストは数百ドルで、AI が本格的な数学研究に踏み込んだ形だ。
Google DeepMind は、未解決の数学問題に挑む AI「AlphaProof Nexus」の論文を発表した。LLM と証明支援系 Lean を組み合わせ、56 年間未解決だった 2 問を含む 9 件のエルデシュ問題と 44 件の予想をマシン検証付きで解決した。1 問あたりの推論コストは数百ドルで、AI が本格的な数学研究に踏み込んだ形だ。