Meta、数学者と「Muse Spark」の論文6本を公開　汎用チャットで難問に挑む

米Metaは2026年10月2日、数学者が同社のAIモデル「Muse Spark」と組んで未解決の問題に取り組んだ論文6本を公開した。数学者が使ったのは、研究用に作り込んだ環境ではなく、一般向けの「meta.ai」のチャット画面だ。つまり、人が方向を決めて結果を確かめれば、誰でも触れるチャットAIを専門の研究に使えることを、Metaは実例で示した。AIは反例を探すプログラムや証明の下書きを受け持っている。ただし6本のうち3本では、Meta外のチームが別の方法で同じ問題の解決をすでに発表していた。

普段のチャット画面で研究した

Metaの研究ブログ「Solving Open Research Problems Together」によると、数学者はmeta.aiの通常のチャット画面で研究を進めた。使ったのは「Muse Spark 1.1」と「Muse Spark 1.2」で、答える前に時間をかけて考える「Thinking Mode」で動かしたという。研究のための専用の仕組みは用意していない。同社のモデルは、高校生向けの数学・物理・化学のオリンピック5大会で、金メダル級の成績を収めたこともある。

Muse Sparkは、Metaが新設した研究組織Meta Superintelligence Labsの最初のモデルとして、2026年4月に発表された。同社は7月に「Muse Spark 1.1」を公開し、meta.aiのThinkingモードで使えるようにした。8月に出た「Muse Spark 1.2」は、長時間のコーディング作業に向けて1.1を改良した版である。ブログの説明どおりなら、数学者は一般の利用者と同じ画面から研究を進めたことになる。

数学の6分野で成果を出した

6本の分野は、確率論、微分方程式、群論、最適化、数論と物理の境界、非結合代数にまたがる。論文はMetaの研究成果のページに載った。多くは、他の研究者が以前に示した問いや予想に答えている。

半アーベル群に関する論文は、M. Kida氏が2024年に示した群論の予想を、元の数が384個の群という反例で否定した。ブログによると、反例を探すプログラムを数学ソフト「GAP」向けに書いたのはMuse Sparkだった。

非線形シュレディンガー方程式の論文は、レーザー物理に着想を得た方程式を扱う。負のエネルギーを持つ対称な波が、2次元以上では有限の時間のうちに崩壊すると証明した。2015年から残っていた問いに決着をつけ、2002年の数値シミュレーションの予測を裏づけたという。

確率論の論文は、高い次元にランダムに散らばった点の全てを、1つの楕円体の表面に載せられるかという長年の問いを扱った。載せられる点の数には、はっきりした境目がある。最適化の論文は、Del Pia氏とKhajavirad氏が出した問いに答えた。0か1をとる変数の多項式を最適化する問題で、条件を緩めた式が元の問題を正確に表す場合を突き止めている。

数論と物理の境界では、論文「String Two-Point Function = Height Function on a Curve」が出た。数学者Yuri Manin氏が1980年代に描いた研究の方向に沿い、別々の分野の2つの計算が同じ量を表すと示した。非結合代数の論文は、進化生物学に着想を得た「進化代数」の分類をめぐる予想を、3次元の反例で否定している。

方向決めと確認は人が担った

ブログによると、研究は2段階で進んだ。まず数学者のチームが研究の方向を決め、Muse Sparkとアイデアを探って論証を組み立てた。次に、別の数学者のグループが内容を確かめている。確率論の論文では、4人の数学者が確認役に名を連ねる。

AIに任せた仕事は、論文ごとに違う。問題を確率の言葉で捉え直した論文もあれば、反例探しのプログラムを書かせた論文もある。数論と物理の論文では、Muse Sparkが証明の候補を出し、中核となる技術的な節を3つ下書きしたという。数学者は、証明の筋を試して直す作業や、計算を詰める作業にもAIを使った。

各論文は、主に研究者が書いた箇所とAIが書いた箇所を分けて示している。下敷きにした先行研究や考え方の出どころも明記してある。Metaは、目的は論文の量産ではなく、他の研究者が理解して発展させられる知見を生むことだったと説明した。

3本は外部の発表と重なった

一方で、6本のうち3本には、Meta外の研究者による別の解決がある。楕円体、群論、進化代数の3本だ。Metaはブログで、作業を終えた後に、外部のチームが別の方法で同じ問題の解決を発表していたと知ったと書いた。

楕円体の問題では、3つのチームが2026年8月に論文共有サイトarXivへ論文を投稿していた。Misiakiewicz氏らの論文が8月10日、de la Cerda氏らの論文が8月12日、Koehler氏らの論文が8月27日の投稿だ。群論の予想には、AIエージェント「Nilradical」が9月16日に別の反例を報告していたという。進化代数でも、Hu氏らの論文が9月23日に投稿されている。

つまり、6本の全てが世界で初めての解決というわけではない。だが、Metaは重なりを伏せず、並行した研究をブログで名指しで挙げた。

数学者は、人が方向を決めて別の人が確かめる手順を通し、一般向けのチャットAIを未解決問題の論文づくりにまで使った。その一方で、成果の半分は他チームの解決と重なっていた。今回の発表は、この2つの面を合わせて読むと全体が見える。

編集部の見方

編集部は、今回の6本で目を向けるべきはAIの賢さより、人が確かめる工程を論文の形に組み込んだ点だと見る。数学者は方向を決める人と内容を確かめる人を分け、AIが書いた箇所を論文の中で示した。AIに任せる範囲を広げるほど、確かめる手順を先に決めておく必要がある。専門業務にチャットAIを使う読者は、誰が何を確かめ、AIの書いた部分をどう示すかを決めてから任せるとよい。「6本」という数も、うち3本は外部の解決と重なる。各論文が学術誌の審査でどう評価されるかは、まだ分からない。