Terence Tao:Lean 验证但人无法理解的证明不该发表
arash_zaghi · x · 2026-09-02
arashzaghi 回应 SoloGen 关于 LLM 数学证明的讨论,指出这是重要的哲学问题:人类理解到底重不重要,还是我们只是在丰富知识图谱?他提到 Terence Tao 在近期论文中的立场——经 Lean 验证但人类无法理解的证明不应发表——并表示自己对此也很纠结。上下文中的讨论焦点是 LLM 生成论文的人类可读性问题。
所属事件:陶哲轩称人看不懂的机器证明不该发表引争论(3 条相关)→
「漫话AGI」频道最新
- longevity 博主发问：哪一年机器能凭成果拿诺贝尔奖？ — rand_longevity · 2026-10-18
- 研究员调侃:大多数人类的思维链也过不了对齐训练 — robleclerc · 2026-10-18
- 长文：AI 把「考试型智力」变成最便宜的商品，剩下的判断力才值钱 — r0ck3t23 · 2026-10-18
- 吐槽人形机器人做家务是「偷懒」？网友：这就是目的 — VraserX · 2026-10-18
- 经济学家 Furman：AI 提效我乐观，企业能否盈利则难说 — sebkrier · 2026-10-18
- 分析562个AI PM岗位:拆成4种,最小众的Model PM中位数薪资34.5万美元最高 — aakashgupta · 2026-10-18