反驳 Booch:数学证明器 1966 年就有了，「思考」未定义
AlexTensor · x · 2026-09-26
针对「要求证明 LLM 能思考」的争论，jwiechers 反驳：自动数学证明器已有 60 年历史，SAM V 在 1966 年就证明了 SAM 引理；「思考」本就不是定义清晰的术语，但这对转移举证责任毫无帮助——除非你愿意把大多数现代非 LLM 程序也称作「在思考」。
「漫话AGI」频道最新
- 学者批评 Astra 评审只抠论文细节,忽视大局价值 — aran_nayebi · 2026-09-26
- 长寿研究员:衰老还是常态的假日季只剩两三个了 — rand_longevity · 2026-09-26
- Gartner:到2029年30%因AI被裁员工需高成本回聘 — TansuYegen · 2026-09-26
- 透明度悖论:AI 实验室自评不可信,需引入第三方评估 — AryHHAry · 2026-09-26
- 美联储官员发问 AI 生态是否「大到不能倒」,融资架构复杂度敲响警钟 — TansuYegen · 2026-09-26
- AI 跳步解出 200 年未解难题，人类错过了发现过程怎么办？ — nathanbenaich · 2026-09-26