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