Meta宣布Muse Spark模型辅助数学家攻克6大前沿数学难题

Meta超级智能实验室宣布，旗下Muse Spark 1.1与1.2模型在过去6个月内协助数学家攻克了概率论、微分方程、群论、优化理论、算术物理学和非结合代数六大领域的开放性难题，并产出6篇论文。研究人员主要通过网页端对话与提示词调用模型的思考模式，AI在协作中完成了反例搜索代码编写、偏微分方程放缩计算、理论阈值推演以及论文技术章节起草等核心任务。