AI批量生成数学证明引发冲击，数学界探讨验证难题与人机共存规范

随着 OpenAI 批量生成数学证明手稿引发关注与撤稿争议，全球数学界面临证明生成速度远超人类核验与消化能力的现实困境。陶哲轩等多位学者指出证明验证与同行评审出现脱节，学界正通过《莱顿宣言》探索规范建设。同时，中国数学界成立了丘成桐数学与人工智能实验室联盟，尝试在基础研究与人才培养中构建人机协作生态。