Meta AI模型 Muse Spark（1.1 和 1.2 版本）协助数学研究，半年累积破解六大顶尖数学开放难题。

2026年10月2日，Meta毕树超领衔的超级智能实验室官宣，依托Muse Spark AI模型，历时整整6个月人机协作，在六大核心数学领域完成多项难题攻坚，产出6篇重磅学术论文。

本次研究覆盖概率论、微分方程、群论、优化理论等多个硬核方向，最大亮点是AI自主生成运算代码，精准找到384阶异常群，成功推翻2024年提出的群论拟议规则，解决了多项悬置多年的数学开放问题。

这里给大家厘清关键误区：这并非AI独立解题，全程由数学家主导研究思路、核验论证逻辑，AI负责海量运算、全域检索等高负荷工作。同时多项课题存在全球同期竞争，像高斯椭球拟合阈值等难题，已有多支海外团队同步独立破解，本次成果是半年科研积累的阶段性总结，并非短时一次性横扫突破。

图：毕树超X博文中文译版，介绍Muse Spark数学科研进展。