北大袁新意等数学家发起 MathHelm 众评 OpenAI 模型生成的 722 篇数学论文

北大袁新意等数学家组成科学委员会，发起非营利论坛 MathHelm，专门讨论 OpenAI 于 2026 年 10 月 6 日发布的 722 篇由内部 GPT 模型生成的数学论文。这些论文覆盖数学大部分领域，宣称多项重要成果，但正确性尚未验证，且大部分未经 Lean 形式化。论坛允许全球数学家以真名注册并发表评论，审核维度包括正确性、可读性、原创性、主要结果与核心思想。