Andrew Critch 发现 Löb 定理表述少了一个 ⊢

AndrewCritchPhD · x · 2026-07-29

Andrew Critch 表示，有人帮他发现了 Parametric Bounded Löb Theorem 里的一个表述错误：证明里用到了 ⊢ f(k) ≻ 𝓔𝓞 lg k，但定理陈述里漏了 ⊢。

他还提到，AI 正在让更多人进入开源博弈论研究；相关的 arXiv 版本更新预计会在一周左右补上。

原文链接 →

「漫话AGI」频道最新

• Gary Marcus 长文反驳：现在的 AI 远未达到奇点 — GaryMarcus · 2026-07-29
• 一个 AGI 式小思考：人类更像装在动物体里的通用智能 — AaronBergman18 · 2026-07-29
• Gary Marcus 认为奇点还没到，CEO 们只是夸大其词 — Gary Marcus · 2026-07-29
• TEDx 演讲谈橡皮鸭、学习与 AI — AlisonGopnik · 2026-07-29
• Doctorow 称 AI 本质普通,外面裹着 1.4 万亿美元泡沫 — Elijah_Meeks · 2026-07-29
• Sam Altman 说创始人该找新浪潮，不要只复制热门 — heyshrutimishra · 2026-07-29

更多「漫话AGI」频道 AI 资讯 →