Meta公布六篇人机合写数学论文：有证明，也有前人先解出的题

AI for Science / 数学研究 · 9/10 · 建议读原文

Meta 10月2日公布六篇数学研究，作者在普通meta.ai聊天界面使用Muse Spark 1.1和1.2，没有专门搭建研究Agent。数学家负责选题、判断思路和修正论证，另一组数学家复核；每篇论文都注明哪些段落主要由人写、哪些主要由模型起草。Meta称其中五篇回答了此前开放的问题。这比让模型做奥赛题更难评价，也更值得评价：答案不能靠题库对照，必须拿出能被别人检查的证明或反例。

几篇论文里，模型的作用并不一样。一篇微分方程论文处理特定条件下波是否必在有限时间内“爆发”的问题，Muse Spark帮助核算和修订证明，关键问题与思路仍由研究者确定。另一篇群论论文中，它生成了在数学软件GAP里搜索反例的程序，找到一个384阶群，研究者再检查结果并完成论证。这些例子展示了模型可介入的具体工序：试探论证、写搜索程序、草拟技术段落；没有证明它能独立负责整项研究。

也要看清“解决”的先后。高斯点椭球拟合论文给出了一个阈值结果，但Meta明确列出8月已公开的三组独立同期成果；群论猜想也有别的Agent在9月16日报告不同反例。因此，这条新闻的意义不是模型抢先解出了六道无人会做的题，而是Meta把不同程度的模型参与、专家复核和论文原文一起交了出来。后续最值得追的是这些证明能否经受更多数学家的检验，以及这种协作能否在别的研究团队重复。