RecodeX 重构消息，Simons基金会联合OpenAI与Anthropic，共同投入总价值1500万美元的资金及资源，支持数学家检验、理解并拓展AI产出的数学成果，相关资助由数学共同体主导。

此前OpenAI公开722篇内部AI模型生成的数学手稿，次日即因一处正负号错误撤回3篇、修订14篇。随着AI批量产出长篇推导，人类验证与理解能力难以跟上，学界对AI公司倾倒未充分验证成果存在争议。此次合作回应了AI实验室需配套资源支持人类消化AI成果的诉求，后续还将拓展至数学之外的基础科学研究领域。