Meta、推論モデル Muse Spark を用いた数学の未解決問題解決に関する論文 6 本を公開──5 件の未解決問題を解決
Meta.ai のチャットインターフェースと Thinking Mode を用いて、数学者と Muse Spark が共同で 6 本の論文を執筆し、そのうち 5 件で未解決問題を解決した。
リリース: 2026-10-02 · 読了 3 分記事の要約
1. 核心（What）
- Meta はバージョン 1.1 および 1.2 の Muse Spark を用いた数学の未解決問題に関する論文 6 本を公開し、そのうち 5 件で未解決問題を解決した。
- 検証作業ではカスタムエージェントや外部ツール連携を行わず、Meta.ai の一般的な Thinking Mode チャットインターフェース経由で対話を行った。
- 成果は確率論、偏微分方程式、グループ理論、最適化、算術物理、非結合代数の 6 分野の専門的な未解決課題に及んでいる。
- グループ理論の研究において、Muse Spark が計算代数システム GAP 用のコードを生成し、Kida の 2024 年予想に対する 384 要素の反例を発見した。
2. 影響（Why）
- ベンチマークから実課題への移行: 固定された正解を持つ従来の競技数学ベンチマークとは異なり、未解決の学術研究で LLM が実用的な貢献を果たした点は、高度な専門領域における AI 活用のマイルストーンとなる。
- 国内学術・研究機関への影響: [国内 国立大学の数理科学系研究室] のような基礎科学を扱う組織では、専用のエージェント基盤を自前で構築せずとも、既存の商用チャットインターフェース経由で探索やコード生成の補助を得るワークフローが現実的な選択肢になる。
3. 根拠・詳細（How）
- インタラクションと検証プロトコル: 専用の Lean や Mathematica とのツール連携、あるいは arXiv 用の検索パイプラインを排除し、Meta.ai の consumer 向けチャットインターフェース上で専門家が方向性を指示する形で検証が進められた。
- GAP コードによる反例探索: グループ理論分野において、計算代数システムである GAP（Groups, Algorithms, and Programming）向けに Muse Spark がプログラムを生成し、384 要素からなる半アーベル群と単項群の反例を特定した。
4. 展望・課題（Next）
- 成功事例の一般化と再現性の検証: 本発表は選別された成功事例に基づくものであり、失敗したアプローチや総プロンプト数などの全体的な成功率は未計測であるため、他分野への汎用性や再現性には限界がある。