中国大模型が世界級数学予想を初解明

上海人工知能実験室は近日、国産大規模言語モデル书生-S2を用いて、30年以上にわたり未解決だった世界級数学難題3次元Ghys予想の証明に初めて成功したと発表した。大湾区大学許地生教授のチームと上海AI実験室が共同で研究を進め、北京大学董彬教授と劉若川院士チームが形式検証を担当した。 本研究は书生-S2が国内数学オリンピックで顕著な成績を収めたことを契機に、基礎研究レベルへの適用を目的とした協業プロジェクトから発足した。研究陣は通専融合の技術方針に基づき、モデルの専門性を高める後学習データの構築と非同期長期推論強化学習手法を開発した。実証過程では、モデルが再帰的推論により数千ページに及ぶ探索的導出を生成し、研究者が数学的直感と専門知識で探索方向を補正・強化する高度な人機協働型アプローチが採られた。北京大学チームは独自開発のSHEAFフレームワークを活用し、インタラクティブ定理証明システムLeanを用いて約5日間で全主要定理の形式検証を完了した。Leanコード約55万行を出力し、証明の厳密性を裏付けた。 本成果はarXivに論文が公開され、関連コードはGitHubでオープンソース化されている。これは中国大モデルが基礎数学の最先端課題を解決した初の事例であり、複雑な探索空間を持つ理論研究におけるAI活用の新パラダイムを確立した。上海AI実験室は今回の実証で得られた能力を科学発見プラットフォーム端砚に統合し、数学をはじめとする基礎科学領域への展開と能力の自律的進化を加速させる方針だ。