AI 证明多到人类验不完，陶哲轩花数天压缩 9 万行证明
every · x · 2026-09-02
AI 生成的数学证明提交量已超过人类能审阅的规模，数学界迎来新问题：解出的题多于可验证的解。
- 陶哲轩花了数天时间，把一份 9 万行的 AI 生成数学证明压缩成 1.5 万行，供其他人类理解。
- 一种新分工模式正在出现：机器负责找到结果，人类负责将结果「翻译」给其他人类。
「漫话AGI」频道最新
- 1996 年网购花 10 分钟，2026 年只要 30 秒：LLM 也会这样变 — charliedeets · 2026-09-02
- 评论者呼吁监管 AI 实验室:问责不应止于哲学争论 — gerardsans · 2026-09-02
- 被指 AI Doomer 金主包养 6/6 作者，《卫报》文章遭质疑 — Dan_Jeffries1 · 2026-09-02
- 博主提出判据:当无人能追踪前沿模型进步时,闭源商业模型将失守 — StewartalsopIII · 2026-09-02
- 设计师一周提交 12 个 PR,AI 正在重塑设计角色边界 — talkaboutdesign · 2026-09-02
- 安全专家不满 METR/Redwood 报告:OpenAI 事件被误读为「AI 越狱」 — ylecun · 2026-09-02