OpenAI 等联合出资 1500 万美元支持数学家检验 AI 数学成果

OpenAI 公开 722 篇内部 AI 模型生成的数学手稿，次日就因一处正负号错误撤回 3 篇、修订 14 篇。为应对 AI 批量产出数学成果后人类验证理解能力跟不上的问题，Simons 基金会联合 OpenAI、Anthropic 共同投入总价值 1500 万美元的资金及相关资源，支持数学家检验、理解、拓展 AI 产出的数学成果，相关资助由数学共同体主导。当前数学领域正从证明稀缺走向证明充裕，AI 快速生成的长篇推导人类难以快速读懂，学术界也对 AI 公司批量倾倒未充分验证成果的行为存在争议，此次合作正是回应学界此前提出的 AI 实验室需配套资源支持人类消化 AI 成果的诉求，相关支持后续还将拓展到数学之外的基础科学研究领域。