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阶反例视为对称群时，其作用的可视化展示。</