Meta Muse Spark半年连破6大数学难题，毕树超：数学界AlphaGo时刻已至
新智元报道
Meta超级智能实验室（MSL）今日宣布，其最新模型Muse Spark在过去6个月内协助人类数学家攻克了6大数学领域的开放性难题。其中5篇论文直接解答了世界前沿悬案，甚至推翻了现有的群论拟议规则。
继OpenAI和Anthropic之后，Meta也在数学研究领域取得重大突破。MSL负责人毕树超表示：“数学界的AlphaGo时刻，在今年降临了。”AI颠覆人类数学研究的趋势已不可逆转。
毕树超：不是高斯，那就创造一个高斯
MSL领军人毕树超拥有深厚的数学背景，本科毕业于浙江大学数学系，后在加州大学伯克利分校获得统计学硕士及数学博士学位。2025年6月，他加入Meta超级智能实验室，主攻强化学习与智能体前沿研究。
作为一名科班出身的数学博士，毕树超曾坦言自己缺乏独立解决前沿开放难题的天赋，这促使他转向机器学习领域。他的目标从单打独斗转变为训练AI模型来辅助解决这些难题。
作为一个数学专业的学生，我曾意识到，我缺乏足够的自然天赋去独立解决那些我无比热爱的前沿开放难题。正是这种清醒的认知，促使我开启了机器学习的职业生涯。
从去年开始，我的目标进化了：我不再试图单枪匹马地去解决这些难题，而是致力于训练AI模型来替我们解决它们。
实践证明，这一路径行之有效。
Muse Spark 6个月连破6大数学难题
开放性研究问题通常没有标准答案或既定路径，需要不断试错。过去几个月，多位顶尖数学家与Muse Spark 1.1及1.2模型合作，在概率论、微分方程、群论、优化理论、算术物理学、非结合代数六大基础科学领域发表了6篇重磅论文。
群论：AI生成代码揪出“黑天鹅”
M. Kida在2024年提出猜想：具有“半阿贝尔”性质的有限群必定具有“单项式”性质。推翻该规则需找到反例。
Muse Spark生成了复杂的搜索代码，在庞大数学软件系统中找到了一个拥有384个元素的异常群。该群满足半阿贝尔性质，但不具备单项式性质，从而推翻了原有猜想。
微分方程：终结“波函数坍缩”十年悬案
针对“质量临界双调和非线性薛定谔方程”，科学界自2015年起一直未能严谨证明波函数是否会在有限时间内坍缩，仅依赖2002年的计算机模拟猜想。
Muse Spark辅助研究员Leonard Dinh处理海量偏微分方程放缩计算，测试多种维里恒等式变体，最终证明：在二维及更高维度的径向对称负能量条件下，波必然在“有限时间内”发生爆炸坍缩。
概率论：揭开高维空间“生死临界点”
在高维空间中，将随机散落的高斯点拟合到完美椭球面上是否存在可能？Muse Spark帮助数学家Aykut Arslan推演出了严格的阈值。
AI辅助验证复杂概率不等式，证明当随机点数量低于特定阈值时，拟合几乎必然存在；一旦超过该阈值，拟合存在的概率骤降为零。在此过程中，Muse Spark帮助团队紧跟全球其他三个独立团队的竞争节奏，并独立确立了理论极限。
算术物理学：跨越40年串联数论与弦理论
上世纪80年代，Yuri Manin曾设想数论与弦理论存在隐秘联系。Muse Spark将“p进制弦理论”与“数论”成功连结，不仅理解了基于Tate曲线的已知联系，更将其推演至复杂的“亏格二Mumford曲线”，证明两者在不同数学语言下计算的是同一物理量。
Muse Spark直接起草了论文中的三个核心技术章节，包含繁琐的代数几何翻译与候选证明。
优化理论：找到完美简化的终极法则
针对二元多项式优化问题的“松弛法”简化，Muse Spark引入“概率重构”视角，帮助数学家发现：当两个圆的交集区域（不含第三个圆）中恰好只有一个决策变量时，简化是完美的；若多于一个，则会产生计算鸿沟。
非结合代数：受生物学启发的代数重构
针对“演化代数”的可解性测试，Muse Spark构建了一个三维空间反例，该反例通过了前人测试但并非可解代数。AI进一步提出，不能仅看单独元素，必须引入“整体子空间”概念进行替代性表征。
无需超算，网页端对话即可突破
令人惊讶的是，这些突破并非依赖内部超算矩阵或复杂API，而是数学家通过网页端meta.ai开启Muse Spark的“思考模式”，仅凭自然语言提示词完成。这表明AI底层推理能力已跨越关键门槛。
目前，这6篇论文已通过独立双重审查，并清晰标注了人类学者与AI各自的贡献部分。毕树超预测，类似的智能跨越将在生物学、化学和物理学中全面展开。数学界的“AlphaGo时刻”已至，前方是一片璀璨的无人区。
参考资料：
编辑：Aeneas