OpenAI 将 700 篇数学预印本公开，引发数学界争议

OpenAI 于 2026-10-06 公布一批由内部前沿模型生成的数学成果，并将相关材料发布到 GitHub，引发数学界对验证方式、披露程度和研究可重复性的讨论。

• OpenAI 官方称，发布内容包含多项数学结果、部分 Lean 形式化证明，以及尝试题目数量和计算投入等说明。
• Nature 于 2026-10-07 报道，公开材料超过 700 篇预印本，且使用了尚未公开的模型。
• OpenAI 表示，部分证明可由 Lean 进行计算机检查，但形式化验证不等于所有研究过程和结论都已完成同行评议。
• 争议重点包括模型架构、失败率、训练数据、推理过程和结果能否推广到数学之外。
• 影响/看点：这类发布可能扩大 AI 辅助数学研究的公开样本，但其科学意义仍取决于独立研究者能否复核证明、评估错误率并区分模型搜索能力与可迁移的数学推理能力。
• 资料依据:
• OpenAI（2026-10-06）：Sharing AI progress in mathematics https://openai.com/index/sharing-ai-progress-in-mathematics/
• Nature（2026-10-07）：OpenAI posts 700 maths preprints online: mathematicians are up in arms https://www.nature.com/articles/d41586-026-03196-8

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