数学家争论 OpenAI 证明：写得糟糕但不能无视
_onionesque · x · 2026-10-11
围绕 OpenAI 生成的数学证明能否被当真，两位数学博主展开辩论：Odakyildiz 认为许多数学家本来就把论文写得很糟，其中有些对了有些错了，OpenAI 的证明也一样——只要关心相关课题就不能无视它们。onionesque 部分认同，但强调问题在于规模：AI 生成的「劣质论文」会大量出现，个别领域里甚至看起来不错（如一篇关于最优传输稳定性的证明，类似 Steinitz 论文的清晰度）。他还自省称，这次经历让他决定任何场合都不再用 AI 生成的「slop」，包括非正式的代码注释和草稿。
所属事件:数学界激辩 LLM 生成 Lean 证明的价值与风险(3 条相关)→
「漫话AGI」频道最新
- 「AI 意识错误观点宾果」出炉:逐格反驳流行迷思 — dioscuri · 2026-10-11
- dioscuri 预测:2027 年 AI 将在科学上复制今年数学的突破 — dioscuri · 2026-10-11
- 布鲁金斯主席：AI 冲击就业，社会保障体系需重新设计 — facinabush · 2026-10-11
- 博主爆料:某即将 IPO 的 AI 实验室正把模型当有意识来训练 — StewartalsopIII · 2026-10-11
- antirez 建议陶哲轩:与其做幻灯片,不如用 AI 让 AI 研究成果可被理解 — antirez · 2026-10-11
- 传 Anthropic 内部模型 AI 研发提速达 4 倍，仍在 RSP 阈值之内 — AccBalanced · 2026-10-11