OpenAI 发布数百份 AI 数学证明 数学家需梳理验证相关成果

OpenAI 一次性发布 722 份涉及 17 个数学领域的难题证明手稿，解题成本远低于此前，引发数学界震动。但这类 AI 生成的证明虽可通过机器验证，却大多难以转化为人类能理解的知识，还出现了因符号错误连带多篇结论失效的草台问题。数学家们担忧 AI 快速产出大量证明后，梳理验证、解读沉淀的工作全部压给人类，且当前 AI 多是调用已有知识组合解题，很难产出数学研究最核心的新思想、新工具，长此以往相关解读工作的动力会不断衰减，最终可能形成理解屏障，锁死文明的发展，违背了科学刨根问底的本质。