研究者发问：AI 生成的证明现在难读，但这难道不是暂时的？
arjunrajlab · x · 2026-10-08
针对数学圈对 AI 生成证明「难以解读」的批评，作者（科研实验室账号）评论称：现在的 AI 证明确实难读，但这 surely 只是暂时状态——暗示随着模型改进和人类阅读习惯适应，可读性问题终将解决。这是围绕 OpenAI 数学发布争论中的一种乐观声音。
「漫话AGI」频道最新
- 「超级 IC 时代」来临:一人顶一支团队的工程新范式 — soleio · 2026-10-08
- TheZvi 吐槽:AI 不焦虑阵营正大规模转向恶意论战 — TheZvi · 2026-10-08
- 平面设计师哭诉：AI 生成垃圾正在毁掉我的职业 — IanArawjo · 2026-10-08
- e/acc 创始人 Beff 发声明：反对分裂小团体，称只利好末日论者 — beffjezos · 2026-10-08
- Domingos 讽刺 AI 末日论者：本来就住在悬崖边，还在继续走 — pmddomingos · 2026-10-08
- Yudkowsky:预训练算力份额已降至 7%,能力尖峰预测重新生效 — repligate · 2026-10-08