六篇論文、五個未解難題：Meta 的 Muse Spark 正式加入數學家行列

多年來，衡量 AI 數學能力的基準一直是奧林匹亞競賽：在為中學生設計的題目上拿到金牌，而這些題目的關鍵在於——總有人已經知道答案。10 月 2 日，Meta AI Research 移動了球門柱。它發表了六篇由現役數學家與 Muse Spark 模型共同署名的研究論文，其中五篇回答的是迄今無人能解的問題。

最值得深究的成果不在任何排行榜上，而是工作流程本身：這些數學家使用 Muse Spark 1.1 與 1.2 的 Thinking Mode，透過一般的 meta.ai 聊天介面，沒有任何客製化研究框架——就是全球數十億 Meta 用戶都能打開的那個聊天視窗。沒有專屬證明助手、沒有代理叢集、沒有特殊工具。前沿推理能力，就這樣從一個消費級聊天視窗，直接投入真正的開放數學研究。

從有答案到沒有答案

Meta 自己的定位很謹慎。今年稍早，其模型在數學、物理、化學五項高中奧賽中達到金牌級表現。「競賽題目可以極為困難，但那些題目已經有答案，」該公司寫道，「開放研究不同。沒有答案可循，也沒有任何保證某個方法行得通。」

這個差異定義了整個合作的遊戲規則，而這些規則才是真正的範本，值得細看：

• 由一組數學家主導研究方向，與 Muse Spark 一起探索想法、發展論證。
• 另一組獨立數學家逐一審查每項結果。
• 每篇論文明確標示哪些段落主要由研究員撰寫、哪些由 AI 撰寫。
• 每篇論文都註明所依據的先前研究——特別包括其他人用不同方法獨立得到的結果。

最後一點不是套話。完成工作後，Meta 得知公司以外的團隊已用不同方法獨立解出了部分相同的問題。他們沒有淡化此事，而是在論文中直接承認——這種透明標準，許多更有資歷的實驗室經常做不到。

五個被解開的問題

機率論——高斯橢球擬合的嚴格閾值。 在高維空間中，多少個隨機高斯點可以擬合到一個以定點為中心的橢球上？Aykut Arslan 與 Muse Spark 合作，找出了嚴格閾值：低於它，橢球以高機率存在；高於它，幾乎必然不存在。閾值正中央的行為仍是開放問題。Misiakiewicz 與 Wen、De la Cerda 等人、Koehler 與 Sohn 三組人馬已在 2026 年 8 月用不同技術發表同期獨立結果。

微分方程——雙調和非線性薛丁格方程的有限時間崩塌。 Leonard Dinh 解決了一個自 2015 年懸置的波崩塌問題（源自雷射物理的模型）：在二維及以上，徑向負能量解必然在有限時間內崩塌。證明同時印證了 2002 年電腦模擬的預測。Muse Spark 負責計算推演、測試論證路徑、協助修改證明。

群論——半交換群未必是 monomial 群。 Kida 在 2024 年提出的猜想：所有有限半交換群都是 monomial 群。Muse Spark 用計算代數系統 GAP 寫了一個搜尋程式，找到一個 384 階反例——這個猜想的「黑天鵝」。Milana Golich 與合作者 Joseph Phillip Brennan 驗證結果並補全論證。Meta 也特別表彰了 AI 代理 Nilradical，它已在 2026 年 9 月 16 日回報同一猜想的另一個反例。

最佳化——循環鬆弛的緊緻性。 Del Pia 與 Khajavirad 在 2026 年提出的問題：二元多項式最佳化問題的鬆弛何時與原問題完全等價？在模型協助下以機率語言重構問題後，答案是一條乾淨的結構法則——當每個僅屬兩圓交集的區域恰含一個決策時精確，否則有缺口。

非結合代數——可解演化代數。 García-Martínez 與 Pérez-Rodríguez 猜想提出了一個判別「可解」演化代數（源自演化生物學的結構）的準則。Muse Spark 產出一個通過該檢驗、卻不屬於該類別的三維小反例——進而協助建立以子空間為基礎的替代刻畫，取代失效的準則。Hu 與 Wen 的獨立反例亦被註明。

第六篇論文屬算術物理，將弦二點函數連結到曲線上的高度函數——沿著 Yuri Manin 在 1980 年代提出的方向，在數論與 p 進弦論之間搭橋。Muse Spark 草擬了三個核心技術章節，再由五位作者查核、修正、精煉。

為什麼重要

這項發表有三點不同於以往「AI 解數學」的連番宣傳。

第一，分工有據可查。 這不是 AI 作為黑箱吐出證明的論文。在群論案例中，模型的貢獻具體且可驗證：它寫了找到反例的搜尋程式。在物理案例中，它草擬章節，再由人類修補。這正是這個領域爭論兩年的「人機協作」模式，而且是以前所未有的規模與開放度在運作。

第二，工具平平無奇。 DeepMind 的 AlphaProof 與 AlphaGeometry、OpenAI 的實驗性推理系統，都是專用架構。Muse Spark 做這件事用的是 meta.ai 的 Thinking Mode——就像學生拿來寫作業那樣。如果消費級聊天視窗裡的前沿模型能實質貢獻於開放數學，能夠嘗試嚴肅研究的人口，瞬間放大了好幾個數量級。

第三，時機並非偶然。 論文發表的同一週，OpenAI 前安全負責人 David Robinson 公開辭職信，警告這個產業「不夠謹慎」；白宮自願性協議也正建立在「產業能自律」的前提上。Meta 選擇發表 AI 段落明確標示、內建獨立人審、並且註明對手同期成果的論文——無論是否有意——都是對「負責任的加速」可以做什麼的一次示範。

但書

這項宣布並非宣稱 AI 取代了數學家。每篇論文都由選定問題與證明思路的研究者引導；每個論證都經過原團隊以外的人類驗證。橢球擬合閾值處的行為仍未解。而兩個問題同時出現獨立解，說明整個領域都在前進，而非單一模型的功勞。

但方向明確。一 年前，AI 共同署名的數學還意味著基準分數。現在，它意味著上個月還懸而未決的問題有了可引用的答案——在聊天視窗裡完成，而且附上了完整收據。