研究数学へのMetaの「普通の」道

2026年10月2日、Metaの研究部門は研究水準の数学論文6本を公開した。外部の研究者と、バージョン1.1および1.2のMuse Sparkモデルとの共同作業の成果だ。Metaが強調するのは方法の違いである。専用に構築したエージェントシステムではなく、meta.aiの通常のチャットを「Thinking Mode」で使い、特注の研究基盤は用意していない。数か月にわたる作業では、人間の研究者が問題と証明の方針を選び、そのうえでモデルが出した計算を検証し、推論の穴を埋めた。Metaによれば、その後、別の数学者グループが独立に内容を見直したという。

成果は最適化や非結合代数を含む6つの分野にわたる。群論では、数学者のJoseph Phillip BrennanとMilana Golichによる論文が、2024年にM. Kidaが提起した予想を反証した。モデルが生成したGAPの探索コードによって、具体的な反例――位数384の有限半アーベル群――を見つけたのだ。このことはメディアのAlphaSignalも記録している。ただし、先取権は完全ではない。Meta自身の投稿が、少なくとも3つのケースで同じ時期に他者も並行して結果に到達していたと認めている。ガウス楕円体のフィッティングに関する2026年8月の3本の論文、AIエージェントNilradicalが9月16日に見つけた半アーベル群の別の反例、そしてHuとWenによる進化代数の反例である。

方法論の面でも慎重さが欠かせない。論文はMetaのサイトでPDFとして配布されており、紹介記事には学術誌での査読を経たとの記載がない。さらに、ガウス楕円体のフィッティングに関する論文は、臨界しきい値での振る舞いが未解決のままだと本文で明記している。Metaは、失敗して放棄された試行の量についても、研究者が実際に節約できた時間についてもデータを示していない。各論文へのモデルの寄与も正確には数値化されていない。ただし、どの部分をAIが書いたかは文書の中で示されている。

この実験は、周囲に足場を組まない公開チャットでも研究に貢献しうることを示唆している。だが、それがどのくらいの頻度で成功するのかはデータの外にある。空振りに終わった試みは数えられていないからだ。紹介された6つのケースでは、厳密さは人間のチェックに委ねられたままだった。このモデルは自律した数学者というより、アイデアを探り、反例を探し、それを探しに行くコードを書くための道具に見える――半アーベル群の場合は、それで2024年の予想を崩すのに十分だった。そして、その本当の有用性は、限界を確かめる人の根気にかかっている。 — Olya