数学家因 AI 生成证明涌入而呼吁抵制 OpenAI

The Association for Human Mathematics 呼吁抵制 OpenAI，原因是 OpenAI 一次性发布了 700 多篇 AI 生成的数学手稿，并在次日因符号错误撤回了三篇论文。菲尔兹奖得主 Terence Tao 警告，AI 对开放问题的大规模“收割”会让数学的多个分支失去活力。

此前 AI 生成内容进入学术领域多以个案或辅助工具形式出现，而此次是 700 多篇手稿集中发布并出现撤回，且引发学术组织公开抵制和菲尔兹奖得主对学科生态的警告，表明 AI 规模化产出开始触及学术共同体的评审与诚信机制。

大模型可以低成本批量生成形式化或半形式化的数学文本，使投稿量在短时间内远超人工评审能力；错误未被及时识别会进入公开记录，而对开放问题的批量处理可能抢先占用问题空间，降低后续人类研究者可探索的领域回报。

对面向学术场景的 AI 产品而言，批量生成能力需要配套质量校验、来源标注和发布限流机制，否则撤回和抵制会直接损害平台可信度；研发流程中应加入自动符号检查与人工抽检环节，以控制错误传播成本。

• 为学术机构提供 AI 生成手稿的自动符号与逻辑校验工具，降低错误论文进入公开记录的概率。
• 构建面向数学等领域的投稿来源标注与生成内容披露系统，帮助期刊识别 AI 批量产出。
• 开发开放问题追踪数据库，记录哪些问题已被 AI 处理，减少重复占用问题空间。
• 为 AI 研究团队提供发布前合规审查服务，评估批量发布对学术共同体的潜在影响。

• OpenAI 发布 700 多篇数学手稿的具体渠道和审核流程是什么？
• The Association for Human Mathematics 的抵制呼吁是否已获得广泛学术机构响应？
• 三篇撤回论文的符号错误是否由自动审核发现？
• Terence Tao 所指的“收割”是否已有可量化的学科影响数据？