Muse Spark は、Meta が2026年10月2日に発表した共同研究の主役となった。Meta の数学者チームがこのモデルと協力して6本の研究論文を完成させ、そのうち5本がこれまで未解決だった開放問題に回答した。チームが使ったのは Muse Spark 1.1 と 1.2 の Thinking Mode で、やり取りはすべて meta.ai の通常のチャット画面を通じて行われ、カスタムの研究用スキャフォールディングは構築されなかった。
競技の金メダルから、答えのない問題へ
2026年の早い時期、Meta のモデルは数学・物理・化学の5つの高校オリンピックで金メダル水準に達していた。しかし競技問題には既知の答えがあるのに対し、開放研究問題には出来合いの答えがなく、ある方法が必ずうまくいく保証もない。今回の6本の論文は確率、微分方程式、群論、最適化、数理物理、非結合代数をカバーし、モデルをまさにこうした問題の前に立たせた。
代表的な3つの成果
確率分野の研究は Aykut Arslan が主導し、ガウス楕円体フィッティングの厳密なしきい値を扱い、正確にフィットできる点の数についてシャープなしきい値を与えた。ただし、しきい値ちょうどの点での振る舞いは未解決のままで、Meta は2026年8月に発表された3件の独立した同期研究にも触れている。微分方程式では、Leonard Dinh が質量臨界の双調和非線形シュレーディンガー方程式について、動径方向の負エネルギー解は必ず有限時間で崩壊することを証明した。これは2015年から残されていた問題を解決し、2002年の数値シミュレーションの予測を裏付けた。群論では、Brennan と Golich が Kida が2024年に提唱した予想を反証した。Muse Spark が GAP の探索プログラムを生成し、位数384の群を反例として見つけたのである。Meta はまた、2026年9月16日に別の反例を報告した別の AI エージェント Nilradical にも謝意を示している。
残りの3本はそれぞれの分野を前進させた。最適化の論文はサイクル緩和のタイトさを論じ、数理物理の論文は弦理論の2点関数と高さ関数の間の等式を証明したもので、その発想は1980年代の Manin の構想に由来する。非結合代数の論文は進化代数の3次元反例と代替的な特徴付けを与えた。
協働、査読、そして検証可能性
プロセス全体は数学者チームが主導し、モデルと共同で探索を進め、さらに第二の数学者グループが独立に査読した。各論文には、どの段落を主に研究者が書き、どの段落を AI が書いたかが明記され、依拠した先行研究も示されている。チームは研究完了後、他のチームも同じ問題の一部について独立に解法を発表していたことを知り、論文中で謝意を表した。段落ごとに執筆者を明示し、引用や同期研究を説明するこのやり方こそ、研究論文の検証可能性の核心であり、AstaBrief がオープンソース化：Ai2 が 8B の小規模モデルで引用付き研究レポートを作成 が注目する方向とも通じている。結論は追跡可能で、貢献は区別できなければならない。
この一連の論文の見どころは、モデルがまた高得点を取ったことではなく、評価基準が変わったことにある。競技でのスコア稼ぎから、答えのない問題における検証可能な協働へ。公開された執筆者表示と査読の仕組みにより、外部の人々は研究コミュニティのルールに沿って、AI が研究に実際に何を貢献したかを項目ごとに検証できる。
