以 Muse Spark 解決六項數學難題
Meta 於 2026 年 10 月 3 日表示，其 Muse Spark AI 模型協助數學家處理六項開放性研究問題，涵蓋機率、微分方程、群論、最佳化、算術物理學及非結合代數等領域。該公司指出，其中五項是沒有標準答案的開放性問題。Meta 在部落格文章中寫道：「開放性研究與眾不同。沒有標準答案，也無法保證某種方法會奏效。」「要取得進展，意味著反覆嘗試各種想法、不斷犯錯並加以解決，有時還得從頭開始。」數學家透過標準的 Meta AI 聊天介面，使用 Thinking Mode 下的 Muse Spark 1.1 和 1.2 版本，並未進行研究專屬的修改。
數學家運用該模型找出證明和反例
在機率方面，Meta 表示這項研究找出了在高維度中將隨機高斯點擬合至橢球的明確臨界值：低於該臨界值時，此類橢球高機率存在；高於該臨界值時，則幾乎肯定不存在。在微分方程方面，研究人員回答了 Meta 所描述的一個長期未解的問題，內容關於受雷射物理啟發的模型中之波塌縮，證明瞭在二維或更高維度中，具有負能量的對稱波必然會在有限時間內塌縮，解決了一個自 2015 年懸而未決的問題，並驗證了 2002 年由模擬所提出的預測。在群論方面，研究人員透過找到一個階數為 384 的反例，推翻了一條關於描述對稱性之數學結構的擬議規則；Meta 表示，Muse Spark 生成了用於定位該反例的 GAP 搜尋程式。
最佳化、算術物理學與代數方面的研究
在最佳化方面，研究人員與 Muse Spark 合作，探討一道數學問題的捷徑方法在何種情況下能夠捕捉原題精髓，又在何種情況下無法達成。在算術物理學方面，團隊將一個源自數論的概念與弦論中的計算相連結，證明瞭該連結在比先前所知更多的情況下成立，並奠基於 1980 年代的概念；Meta 表示，Muse Spark 起草了三個核心技術章節，之後由研究人員進行核對與修訂。在非結合代數方面，團隊運用 Muse Spark 找到了一條關於受生物學啟發之數學結構擬議規則的例外。Meta 表示，其中一組數學家負責引導研究並與該模型共同發展論證，而第二組則負責審查該研究工作。
Meta 推出 Muse Gadgets 與 Home Link
在同一日的另一項公告中，Meta 的 AI 主管 Alexander Wang 介紹了 Muse Gadgets，這是一個開源專案，旨在讓開發者打造可與 Muse AI 代理協作的硬體。Meta 同時發表了自家裝置 Muse Home Link。這些公告一方面搭配了關於 Muse Spark 的研究宣稱新聞，另一方面則是為圍繞 Muse 代理的第三方硬體生態系播種佈局；而 OpenAI 則在另一起事件中，因宣稱其自家模型解決了千禧年難題之一的 Navier-Stokes 方程式而面臨檢視。
仍有待觀察
從公告中目前仍不清楚每一項研究是由哪些數學家或機構主導、相關論文將發表於何處，以及是否已完成同儕審閱。該部落格文章的框架也留下了未解之處，包括 Muse Spark 在後續出版作品中將以何種頻率被列為共同作者或工具貢獻者，以及 Meta 計劃如何治理透過開源 Muse Gadgets 專案所打造的第三方硬體。
分享這篇文章
