2026年10月2日，Meta AI Research正式公布一組研究成果：其最新推理模型Muse Spark與多位數學家合作，共同完成六篇研究論文，其中五篇對此前開放的研究問題給出答案。合作透過普通的meta.ai聊天介面（Thinking Mode）進行，未使用定制研究框架或專用智能體系統。論文明確標注哪些部分主要由人類起草、哪些由模型生成，並經第二組數學家獨立審閱。Meta同時承認，部分問題已有其他團隊以不同方法獨立給出解答。

詳細情況

此前，Meta模型已在多項高中奧數級別競賽（數學、物理、化學）中達到金牌水平。此次工作則進一步測試模型在真正開放、無既定解題路徑的研究問題上的貢獻能力。涉及領域包括概率論、偏微分方程、群論、優化、算術物理與非結合代數等。

具體成果包括：

1. 概率論：高斯點精確擬合橢球面的嚴格閾值

論文：The Strict Threshold for Gaussian Ellipsoid Fitting

主要貢獻者：Aykut Arslan（與Muse Spark協作），由Babak Modami、Alexander Roitershtein、Mark Sepanski、Grigory Sokolov審閱。

核心結果：在高維空間中，隨機高斯點能否精確落在一個以固定點為中心的橢球面上，存在一個尖銳閾值。低於該閾值時，精確擬合以高概率存在；高於閾值時，幾乎不可能存在。

圖1：示意圖展示了在高維空間中，隨著隨機點數量的增加，精確橢球擬合從“可能”到“不太可能”的急劇轉變。

該結果為精確數據擬合的理論極限提供了基準（閾值點本身的行為仍未完全解決）。證明策略在Muse Spark協助下反覆推演與修訂。同期有三個獨立團隊（Misiakiewicz & Wen、De la Cerda等人、Koehler & Sohn）用不同方法也得到了相關結果。

2. 偏微分方程：質量臨界雙調和非線性薛定諤方程的有限時間爆破

論文：Finite-Time Blow-Up of Radial Negative-Energy Solutions for the Mass-Critical Biharmonic Nonlinear Schrödinger Equation

主要貢獻者：Leonard Dinh（與Muse Spark協作），由Fazel Hadadifard、Salem Selim審閱。

核心結果：針對受激光物理啟發的質量臨界雙調和非線性薛定諤方程，證明了徑向對稱且能量為負的解，在二維及以上情形下必然在有限時間內發生爆破（blow-up）。

圖2：示意圖展示了波在趨近有限時間塌縮的過程中變得愈發狹窄和高聳。

這解決了自2015年左右懸而未決的問題，並確認了2002年電腦模擬的預測，明確了在該設定下波塌縮不可避免的條件。Muse Spark主要協助計算推演、測試論證路徑和修訂證明。

3. 群論：半阿貝爾群不必是單項群（反例）

論文：Semiabelian Groups Need Not Be Monomial

主要貢獻者：Joseph Phillip Brennan、Milana Golich（與Muse Spark協作），由Andres Barei、John Portin審閱。

核心結果：否定了M. Kida於2024年提出的猜想——“每個有限半阿貝爾群都是單項群”。團隊找到一個階為384的有限群反例，證明這兩種性質並不總是同時成立。

圖3：將384階反例視為對稱群時，其作用的可視化展示。

Muse