OpenAI与Anthropic联手注入1500万美元，聘请数学家为AI数学成果「验卷」

10月15日，西蒙斯基金会宣布与OpenAI和Anthropic共同承诺投入1500万美元资源，旨在支持数学家检验、理解并拓展人工智能生成的数学成果。该笔资金将由OpenAI和Anthropic分别提供各500万美元，同时附带模型使用权和算力支持，由西蒙斯基金会统一管理用于相关活动。此前10月6日，OpenAI在GitHub公开了内部AI模型生成的722篇数学手稿。然而仅一天后，即10月7日，其中3篇因一处正负号符号错误被撤回，另外两篇因沿用相同错误构造也被一并撤销，另有14篇被修订。该错误导致基于+1计算的结果归零逻辑失效，原证明的前提崩塌。面对AI批量产出大量长篇推导的现象，数学界指出人类的理解与验证速度难以跟上AI的生成速度。例如MIT工程教育副院长Justin Solomon坦言，OpenAI发布的纳维–斯托克斯问题证明，他在阅读开头几页后便无法继续跟进。目前约42%的成果配有Lean形式化材料供计算机检查，但部分未形式化的结果仍存隐患。这一合作举措回应了学术界此前关于“由人类主导研究方向”的诉求。普林斯顿高等研究院顾问组早在9月底便呼吁AI实验室需出资支持人类读懂其成果；10月7日人类数学协会亦发表声明批评一次性发布大量文件的做法，强调查错、解读及后续研究的主体责任应由人类学者承担。该基金会将公开征集项目，支持研究者检查AI成果并学习新工具。西蒙斯基金会主席David Spergel强调讨论必须由数学共同体主导，研究内容、验证标准及未来方向仍由人类决定。相关资源还将延伸至数学之外，用于其他基础科学研究领域，以应对类似“参考答案本身有误”等跨学科挑战。此次合作不仅关注成果的准确性，更聚焦于将AI推导背后的关键方法讲清楚，使其可被理解、复用并作为新发现的起点。从验证证明到解析方法，再到拓展探索方向，这一流程旨在确保科学进展的可复现性与集体理解的深度，防止出现因工具使用不平等导致的知识鸿沟。