Meta稱Muse Spark助數學家處理五個未解問題，關鍵仍是人類把關

Meta於2026年10月2日表示，數學家與Muse Spark合作完成六篇研究論文，其中五篇處理了先前未解的問題。這項成果更準確的說法是由數學家主導、AI協助的研究：研究者選題、推進論證，另一組數學家再審閱成果；並非聊天機器人自行解出六道數學題。17

六篇論文涉及哪些領域？

這批研究橫跨多個數學分支，公開資料列出的成果包括：

• 機率與幾何：《The Strict Threshold for Gaussian Ellipsoid Fitting》研究如何判定是否存在一個半正定矩陣，能符合由隨機高斯向量所定義的條件；論文提出的臨界門檻約為 n ∼ d²/4。1
• 群論：其中一項結果提出一個有384個元素的群，作為反例，推翻一項於2024年提出的猜想。相關報導指出，Muse Spark編寫了供GAP數學軟體搜尋使用的程式；數學家檢查反例並完成論證。20
• 代數：《On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez》處理一項以提出者命名的猜想。4
• 最佳化：《Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles》探討一種特定的循環式鬆弛方法是否達到緊性。4
• **數學物理：**論文清單包括《String Two-Point Function = Height Function on a Curve》。4
• **微分方程：**清單也列出一篇研究質量臨界雙調和非線性薛丁格方程中，徑向負能量解有限時間爆破解的論文。

不過，Meta所說的「五個未解問題」，目前無法從公開論文清單清楚逐一對應到六篇論文。因此，不能直接把六篇都視為各自解決了一個全新、獨立的未解問題。174

怎麼使用Muse Spark？

研究者透過一般的 meta.ai 聊天介面，使用Muse Spark 1.1與1.2的Thinking Mode，沒有採用為數學研究特別打造的自訂系統。Meta表示，數學家引導研究方向、與模型探索想法並發展論證，之後由另一組數學家審閱；論文也標示哪些段落主要由研究者撰寫、哪些段落有AI協助撰寫。17

這個流程說明了模型扮演的角色：它可以協助提出想法、發展論證或編寫程式，但研究問題的選擇與成果把關仍由人類負責。以群論成果為例，報導指出Muse Spark協助撰寫搜尋程式，數學家則檢查反例並完成證明；模型並未自行認證結果。20

哪些地方仍需進一步確認？

這些論文提供了AI參與受監督數學研究的案例，但不等於證明成果具有排他性，也不能據此認定模型的數學輸出普遍可靠。另有報導指出，部分結果與其他團隊獨立完成的研究有所重疊；若要討論成果優先權或「解決」問題的意義，這類重疊值得納入考量。

此外，數學家審閱與形式化驗證並不相同。形式化驗證是把證明寫成嚴格的語言，再交由電腦逐步檢查。Meta的說明提到由人類審閱，但現有資料並未證明這些論文的證明是否都經過定理證明器等工具的機器檢查。17

Muse Spark於2026年4月8日推出，是Meta Superintelligence Labs推出的首個模型。 10月公布的論文顯示，該模型後續被用於數學研究合作；但這仍不能證明AI產生的數學主張不會出錯。判斷個別成果是否成立，還是得檢視論文論證，並觀察後續的獨立驗證。