Terence Tao:Lean 验证但人无法理解的证明不该发表
arash_zaghi · x · 2026-09-02
arashzaghi 回应 SoloGen 关于 LLM 数学证明的讨论,指出这是重要的哲学问题:人类理解到底重不重要,还是我们只是在丰富知识图谱?他提到 Terence Tao 在近期论文中的立场——经 Lean 验证但人类无法理解的证明不应发表——并表示自己对此也很纠结。上下文中的讨论焦点是 LLM 生成论文的人类可读性问题。
所属事件:陶哲轩称人看不懂的机器证明不该发表引争论(3 条相关)→
「漫话AGI」频道最新
- Gary Marcus 梗图开嘲讽:在更好替代品出现前削减生成式 AI 监控 — GaryMarcus · 2026-09-03
- 湾区三个月巨变:二十多岁年轻人靠 AI 实现世代级财富 — ericwdolan · 2026-09-03
- AI 创业护城河四象限:边界长短 × 任务时长决定生死 — joecole · 2026-09-03
- Broad研究所发布 science sandboxes 框架,量化 AI 智能体真实科学推理力 — anshulkundaje · 2026-09-03
- 20 个对齐 Agent 组成组织,行为却无人单独认同? — VraserX · 2026-09-03
- 向机器人公司卖真实作业视频：物理 AI 的下一个商机 — cosmicwildcard · 2026-09-03