Meta、AIと数学者で未解決問題5つを解決｜論文6本、うち3本は他チームも独自に解決
Metaが2026年10月2日、自社のAI「Muse Spark（ミューズ・スパーク）」と数学者が共同で書いた論文6本を公開した。うち5本は、これまで答えの出ていなかった研究課題に答えを出したとしている。
見どころは、研究に使った環境だ。数学者たちが開いたのは、一般向けのmeta.aiのチャット画面だった。モデルはMuse Spark 1.1と1.2で、じっくり考えてから答える「Thinking Mode（シンキング・モード）」を使った。
一方、翌日には研究者から「6本中3本はすでに解決済みだった」との指摘も出ている。この記事では、6本の中身、人間とAIの分担ルール、指摘の中身を順に整理する。
Muse Sparkと数学者の論文6本｜分野と成果
Meta公式の研究ブログによると、6本の分野と成果は次のとおり。
確率論では、高次元のランダムな点を楕円体にぴったり収められるかの境界（しきい値）を特定した
微分方程式では、レーザー物理のモデルに出てくる波が有限時間で崩壊するかを証明した。2015年から未解決だった問題だ
群論では、2024年に提唱された「Kida（キダ）予想」に、要素数384の群で反例を示した
最適化では、ある問題の近似（緩和）が正確な答えと一致する条件を明らかにした
算術物理学では、数論と「p進弦理論」をつないだ。1980年代に数学者Manin（マニン）が描いた構想を形にしたもの
非結合代数では、「進化代数」の分類に関する予想を反証し、修正版のルールを提案した
6本のうち2本は「その予想は成り立たない」と示す反例で、残りは証明や境界の特定だった。
群論の反例では、Muse Sparkが数学ソフト「GAP（ギャップ）」用の探索プログラムを書き、そのプログラムが384要素の群を見つけている。
人間とAIの分担｜Metaが定めた4つの原則
Metaは、すべての共同研究で次の4つを守ったと説明している。
数学者が問題を選び、研究を主導する
別の数学者グループが、結果をレビューする
各論文で、人間が主に書いた箇所とAIが主に書いた箇所を区別して示す
土台にした先行研究を引用する
AIの役割は論文ごとに違う。証明の方針を出して直す回もあれば、計算や証明案の提示にとどまる回もある。算術物理学の論文では、つながりの発見と証明の候補づくりに加え、3つの節の下書きまでAIが担った。
各論文は、どの部分を人間が書き、どの部分をAIが主に書いたかを区別して載せている。
Meta自身もブログで「未解決の研究には答えの一覧がなく、どの方法がうまくいく保証もない」と書いている。目的については、論文を量産するためではなく、研究者の力を引き出すためだと説明している。
「6本中3本は解決済み」という指摘と同時期の成果
公開の翌日、10月3日に研究者のJason Dean Lee（ジェイソン・ディーン・リー）氏がXに投稿した。
Metaが未解決だとした6つの問題のうち、3つは他の研究者がすでに解決していたという指摘だ（HuggingNewsの報道）。どの3本を指すかは、確認できた範囲では示されていない。
Meta自身もブログで、3本について他チームが独自に出した成果を明記している。
確率論（楕円体）の論文は、2026年8月に3つのチームが独立に同様の成果を出している
群論（Kida予想）の論文は、AIエージェント「Nilradical（ニルラジカル）」が9月16日に別の反例を報告済み
非結合代数（進化代数）の論文は、Hu氏とWen氏が独立に反例を研究している
10月4日朝の時点で、Lee氏の指摘に対するMetaの公式な反応は見つかっていない。
要点サマリー
Metaが10月2日、Muse Spark 1.1と1.2を使った数学論文6本を公開。うち5本で未解決の課題に答えたとしている
使ったのは一般向けのmeta.aiのチャット画面
数学者が主導し、別の数学者がレビュー。AIが主に書いた箇所は論文ごとに明記
翌日、研究者が「3本はすでに解決済み」と指摘。Metaも3本で他チームの成果を明記している
数学者がAIを道具として使い、別の数学者が確かめた形の発表だ。AIが単独で解いたわけではない。
まとめ｜論文6本とAI執筆箇所の確認方法
今日試せること：Metaの研究ブログを開き、気になる分野の論文を1本選ぶ。そのうえで、AIが主に書いたと明記された箇所を探してみる。
その表示を見れば、研究のどこまでをAIが担ったかが論文ごとに具体的にわかる。
▼ 毎朝、AIの最新ニュースが1分で読める
Substack「えーAI」では、最新AIニュースと活用術を毎朝 無料配信している。
その日いちばん効くニュースだけを選び、1分で読める形にして届ける。
▼ あわせて読みたい
今回の論文に使われたMuse Sparkが、どこまで進化しているかがわかる。
同じ週にGoogleが出した新モデルと、出力の上限の比較。
AIニュースは毎日更新。取りこぼしたくない方はフォローを。
※ この記事はAIによって執筆した記事です。誤りが含まれる可能性があります。重要な情報は必ず一次ソースをご確認ください。
