Meta、Muse Spark で未解決の数学 5 問を解答

Meta は 10 月 2 日、Muse Spark 1.1 と 1.2 を数学者と組み合わせて 6 本の研究論文を執筆したと発表しました。確率論・偏微分方程式・群論・最適化・算術物理・非結合代数の各分野にまたがり、うち 5 本は該当分野の未解決問題に対する解答と位置付けられています。

研究者はカスタムの研究用スキャフォルドを使わず、meta.ai の通常チャット UI 経由で Thinking Mode を利用しました。問題選定・探索の方向付け・論証検証は人間側が担い、モデルは補助役という設計です。

主なポイント

対象モデルは Muse Spark 1.1 / 1.2。meta.ai の標準チャット UI の Thinking Mode のみで利用。
6 本の論文は確率論 (楕円体へのランダム点のフィッティング閾値)、質量臨界 bi-harmonic NLS の有限時間爆発、半アーベル群がモノミアルでない反例、サイクル最適化緩和の精確性、可解進化代数の予想反証などを扱う。
うち 5 本は該当分野の未解決問題を解決。残る 1 本も独立研究と重なる成果を含むとされる。
完全自律の「AI 発見」ではなく、問題選定・論証検証を人間が行う補助モデルとしての位置付け。
カスタムツール連携なしで Thinking Mode のみで研究寄与が得られた点が、LLM の実用的応用範囲を示す事例となる。