AI数学证明

OpenAI11月3日

OpenAI 放出 722 篇数学论文：AI 证明如何验证、怎么用

一批由 AI 生成的数学结果被公开，数量达数百篇，覆盖十几个分支，正等待人类数学家核对。文章梳理围绕「过程是否重要」「谁来验收」「人的思考是否被外包」的三种分歧，并给出一套可执行的验证流程、审读清单与使用 AI 做推导的稳妥做法。