Meta稱Muse Spark協助解答五道未解數學問題：六篇論文做了甚麼？

Meta於10月2日表示，數學家與Muse Spark合作完成六篇研究論文，其中五篇回應了此前未有答案的問題。重點是，這是由數學家引導、AI協助的研究，並非聊天機械人自行找出並證明六個答案。研究由數學家推進，亦有另一組數學家審閱。17

六篇論文涵蓋甚麼範疇？

這批研究橫跨多個數學領域。公開資料列出的例子包括：

• 機率與幾何：《The Strict Threshold for Gaussian Ellipsoid Fitting》研究在甚麼條件下，存在一個半正定矩陣，能滿足由隨機高斯向量設定的限制；論文提出臨界值約為 (n \sim d^2/4)。1
• 群論：其中一項結果提出一個有384個元素的群，作為反例，推翻一項於2024年提出的猜想。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

群論的例子亦顯示AI與人的分工：外間報道指Muse Spark編寫了供GAP使用的搜尋程式；數學家其後檢查反例並補完成論證，並非由模型自行認證結果。20

研究成果仍有哪些未解之處？

這批論文顯示AI模型可以參與有人監督的數學研究，但本身未能證明研究結果具獨家優先權，也不能證明模型一般而言可靠無誤。其他報道提到，部分結果亦有其他團隊獨立得出；討論研究貢獻及優先權時，這些重疊情況值得留意。

數學家審閱，亦不等於形式化驗證。形式化驗證是把證明寫成嚴格的電腦語言，讓程式逐步檢查推理。Meta的說明提到人類審閱，但現有資料未能確認每篇論文的證明是否都曾交由定理證明工具作機器檢查。17

Muse Spark於2026年4月8日推出，是Meta Superintelligence Labs的首個模型。 10月公布的論文展示了模型其後參與研究合作的一種用法，但不能因此推斷AI產生的數學論證必定正確；仍須逐篇檢視論證，並留意後續的獨立驗證。