Meta超级智能实验室官宣，毕树超领衔的团队在6个月内让Muse Spark模型协助人类数学家连破概率论、微分方程、群论、优化理论、算术物理学、非结合代数六大领域的开放性难题，其中5篇论文直接给出悬而未决的世界前沿答案，甚至推翻了群论中的拟议规则。
群论方面，Muse Spark生成复杂搜索代码，在数学软件系统中找到了一个拥有384个元素的异常群，推翻Kida猜想中半阿贝尔群必为单项式的规则。微分方程方面，它辅助处理海量偏微分方程放缩计算，彻底证明质量临界双调和薛定谔方程在二维及以上维度必然发生有限时间坍缩，终结十年悬案。
算术物理学一战最体现跨界能力：Muse Spark将p进制弦理论与数论连结，推演到亏格二Mumford曲线，证明两者计算的是同一物理量，还直接起草了论文中三个核心技术章节。概率论中，它辅助验证极复杂不等式，确立高斯椭球拟合的严格阈值——低于阈值拟合几乎必然存在，越过则概率骤降为零。
更令人震撼的是，所有数学家仅使用网页端meta.ai的思考模式，纯靠自然语言提示词完成突破，未动用超算矩阵或复杂API。6篇论文均经独立双重审查，并清晰标注人类与AI的贡献段落。毕树超表示，数学界AlphaGo时刻已降临，类似智能跨越将向生物学、化学和物理学全面展开。