OpenAI 用 AI 生成 700 余篇数学论文，数学家集体震惊与反感

OpenAI于2026-10-06公布由内部模型生成的数学研究成果，官方GitHub目录显示共有719篇手稿、归为372个结果家族；数学界的主要争议不只是结果数量，而是验证、署名、可读性和研究议程如何处理。

• OpenAI官方称，材料包含部分Lean形式化证明、推理摘要、尝试问题数量和计算量估计。
• GitHub说明这些结果处于不同验证阶段，并非全部有Lean形式化；目前约42%的顶层结果完成形式化。
• 官方目录称，模型评测约尝试了4,000个问题，平均每项结果使用相当于约3小时ChatGPT Pro思考的计算量。
• Proofs and Prompts于2026-10-08汇集研究者反馈，既有对新技巧的兴趣，也有对论文质量、人工理解和年轻研究者培养的担忧。
• 影响/看点：这可能提高机器辅助数学研究的产出密度，但能否形成可靠知识仍取决于独立验证、清晰证明、署名规范和社区能否消化这些材料。
• 资料依据:
• OpenAI（2026-10-06）：Sharing AI progress in mathematics https://openai.com/index/sharing-ai-progress-in-mathematics/
• GitHub OpenAI（2026-10-06）：openai/math repository https://github.com/openai/math
• Proofs and Prompts（2026-10-08）：100+ reactions to 100+ solutions https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/

本内容由 AI 生成，仅供参考，请注意甄别