数学家集体吐槽沦为 AI 证明的免费审校工
AI 实验室发布的大量未经校验的数学证明引发数学界不满。批评者指出，OpenAI 的数学论文虽含有趣结果，但错误与突破混杂、写作质量低劣，实验室实质上是让顶尖数学爱好者充当机器产出的免费事实核查员。Lean 社区讨论中，网友以反讽口吻抱怨数学家不得不繁重地验证 AI 批量产出的低质证明，还被要求「理应感恩」，相关争论引发热议。
2026-10-10 ~ 2026-10-10 · 3 条相关
- 第 1 集:OpenAI 数学证明公开与否引学界署名之争(2026-10-06,5 条)
- 第 2 集:传闻 OpenAI 未发布模型证明拟黎曼假设并附 Lean 证明(2026-10-07,3 条)
- 第 3 集:数学家澄清 OpenAI 与 Anthropic 的 Hodge 猜想进展被夸大(2026-10-07,3 条)
- 第 4 集:OpenAI 论文宣称证明准黎曼猜想，数学界称堪比菲尔兹奖(2026-10-07,5 条)
- 第 5 集:OpenAI 数学成果细节:平均每题仅耗 3 小时 GPT-Pro 算力(2026-10-07,11 条)
- 第 6 集:传 OpenAI 数学成果仅发首批，还有两批待发布(2026-10-07,3 条)
- 第 7 集:OpenAI 一夜放出 722 篇数学手稿，数学界震动与分裂(2026-10-08,19 条)
- 第 8 集:OpenAI 数学仓库公开两天即撤回 3 篇论文(2026-10-08,8 条)
- 第 9 集:研究者用 Lean 验证并改进 OpenAI 数学证明(2026-10-08,2 条)
- 第 10 集:开发者用 AI 接力 OpenAI 数学发现，13 维最优结果经 Lean 验证并开源(2026-10-08,2 条)
- 第 11 集:OpenAI 数学成果直发 GitHub，引发科学出版模式之辩(2026-10-09,2 条)
- 第 12 集:OpenAI 单日放出 722 篇 AI 数学论文引学界震动(2026-10-09,17 条)
- 第 13 集:数学界抵制 OpenAI 成果引开源与学界人士批评(2026-10-09,3 条)
- 第 14 集:数百数学家联名警告 AI 正在摧毁数学研究(2026-10-10,2 条)
- 第 15 集:数学家集体吐槽沦为 AI 证明的免费审校工(2026-10-10,3 条)
- 数学家痛批 AI 实验室:把专家当免费的 RL 审校环境 — soumitrashukla9 · 2026-10-10
- OpenAI 数学论文被批错误与突破齐飞,数学家免费当 RLHF — suchenzang · 2026-10-10
- 数学家沦为 AI 证明的免费审核工?Lean 圈争论引热议 — turincomplete · 2026-10-10