arXiv：Moonshine — 新しい数学的予想を自律的に生成し定理を証明するエージェント

数学的研究はかつて人間の創造性と抽象性の頂点と見なされていた——機械が計算を補助することはできても、理論的開発をリードすることはできない領域だ。2026年6月9日にXiaoyang ChenとXiang Jiangが発表した論文はこの前提に疑問を呈する。Moonshineは与えられた数学的問題を解くのではなく、新しい数学的予想（mathematical conjectures）を自ら定式化する自律的な研究エージェントだ——真であると仮定されるが、まだ証明されていない命題だ。

その違いは重要だ：ほとんどのAIシステムが人間が定式化した問題を解くことで進歩するのに対し、Moonshineは独自の理論的フレームワークを構築する。目標は数学を単に適用するだけでなく、前進させるシステムだ。

方法論：構造の抽出と予想の生成

Moonshineのプロセスは具体的な数学的質問から始まらない。代わりに、エージェントは古典的な問題を分析して、それを定義する抽象的な論理構造を特定する——それに含まれる特定の数学的対象とは無関係に、問題を問題にするものだ。

次にその構造を新しい領域に移し、対応する概念を定式化して、予想の反復的な生成と障害の特定（obstacle identification）——潜在的な証明が困難に遭遇し、新しい数学的手段の開発が必要となる場所——を通じて理論的フレームワークを構築する。

このアプローチは一流の数学者が働く方法を模倣している：一見無関係な問題間の類比を認識し、数学の異なる分野の間の橋を構築する。

ヤコビアン予想とは何か、なぜテストに重要なのか？

能力の実証のために、研究者らはヤコビアン予想（Jacobian conjecture）を選んだ——写像の局所的な非退化性が大域的な単射性を保証できるかを問う古典的な未解決問題の1つだ。Moonshineはヤコビアン予想を直接証明または反証しようとしなかった——それは標準的なアプローチ、与えられた問題を解くことになる。

代わりに、その論理的構造を抽出してまったく新しい領域に移した：単一隠れ層のアフィンリッジシグモイドネットワーク（one-hidden-layer affine-ridge sigmoid networks）。その結果がNeural Jacobian Conjecture（NJC）の定式化だ：単一隠れ層のアフィンリッジシグモイドネットワークがどこでも厳密に正のヤコビアン行列式を持つなら、それは大域的に単射でなければならない。

この予想はオリジナルだ——文献で知られていなかった——そして古典的な問題からの構造移転によって直接インスパイアされており、アドホックな直感や文献検索ではなかった。

証明と未解決の問題

予想の定式化は始まりにすぎない。Moonshineは数学的証明を生成するためにGPT-5.5-proとDeepSeek-V4-proを使用し、N=n+1のケースの完全な証明を得た——ネットワークが入力次元より正確に1つ多いニューロンを持つ特殊ケース。さらに問題に異なる観点からアプローチする幾何学的・位相的証明が開発された。

しかし一般的なケースN≥n+2は未解決のままだ。Moonshineは入力次元より2つ以上多いニューロンを持つネットワークの予想を証明することができなかった——これは数学とニューラルネットワーク理論の交差点における将来の研究への課題として残っている。

両アプローチとも特殊ケースの予想に厳密な数学的確認を提供し、それ自体が重要な貢献だ。一般的なケースは数学者とAI研究者をさらなる協力に招く未解決の問題として残っている。

知識の応用と創造の境界

研究者らはMoonshineを、既存の技術を適用するだけでなく数学的知識を前進させるエージェントに向けた一歩として位置付ける。その違いは哲学的にも実際的にも重要だ。知識の応用——既知のアルゴリズムと手法を使って与えられた問題を解く——は長い間計算システムの強みだった。知識の創造——新しい問いの定式化・新しい構造の認識・理論的フレームワークの構築——は人間の独占的な領域と見なされてきた。

Moonshineはその境界を決定的に越えると主張しない：1つの成功した例が自律的な数学的研究の一般的能力を証明するわけではない。しかしエージェントが1つの問題から抽象的な構造を体系的に抽出して別の領域に適用できる実行可能な方法論的フレームワークを示す——これはまさに一流の数学者が数学の一見無関係な分野に同じ原理が現れると「見る」ときにやっていることだ。

次のステップには、方法論のより多くの数学的領域への拡張・障害特定メカニズムの改善・Neural Jacobian ConjectureのN≥n+2の一般的ケースへの取り組みが含まれる。論文は計算知能と関数解析に分類されており、その学際的な性質を反映している。