AI数学手稿出错，巨头联合投1500万资助数学家验卷

近期，AI在数学领域的成果引发了学界的广泛讨论。10月间，某AI实验室公开了内部模型生成的722篇数学手稿，仅一天后，其中3篇便被撤回——原因只是一处正负号的计算错误：一篇手稿的证明中符号使用有误，而另外两篇沿用了同一套构造方法，也被一并撤回。

这批成果来自模型对约4000道问题的尝试与筛选，其中约42%的主要结果配有可供计算机检查的形式化材料，不过仍有部分结果未经过类似验证。这种批量产出却伴随验证缺失的问题，推动了相关方的合作。10月15日，某基金会联合两家AI企业承诺投入总计1500万美元的资金与资源，支持数学家检验、理解并拓展AI生成的数学成果。其中一家AI企业出资500万美元，同时提供模型与算力；另一家则投入500万美元及算力、相关工具权限。相关资助由基金会统一管理，用于组织工作坊、会议等活动，核心目的是帮助研究者“给AI验卷”：读懂长篇证明，梳理其中的有效方法，并将其应用到后续研究中。

近几个月来，该AI实验室在数学界接连发布大量成果，从长期开放问题的研究到千禧年大奖难题的相关进展，再到数百篇手稿的集中发布，引发了“证明充裕”的局面——有数学家指出，数学正从“证明稀缺”转向“证明充裕”，但人类的验证与理解能力却未能跟上节奏。MIT的相关研究人员坦言，面对部分AI生成的长篇推导，自己连开头几页都难以读懂。

这一情况也点燃了学术界的争议：有协会发表声明，批评AI实验室批量发布成果的行为是在“展示权力”，认为这种做法将验证的重担甩给了人类研究者，而AI公司却掌握着学界无法获取的内部模型工具，可能进一步拉大差距。面对质疑，相关方的资助计划被视为回应，不过也有观点强调，这些资助并非买断话语权，学术界仍保留着独立判断与质疑的空间。

关于这笔资金如何使用，相关方计划公开征集项目，支持研究者学习相关工具、讨论应用标准；同时也建议围绕复杂证明组织暑期学校或长期研究小组，帮助研究者逐步拆解AI生成的推导内容。基金会负责人强调，相关讨论必须由数学共同体主导，AI公司仅提供资源，研究方向与决策仍由人类决定。

这一讨论也延伸到了数学之外的领域：AI成果的验证问题，同样出现在理论物理等基础科学研究中。近期的测试显示，AI给出的答案需要复核，而部分专家的参考答案也存在错误——这意味着，无论是AI的产出还是人类的已有结论，都需要经过严谨的检验，才能成为后续研究的基础。