图灵奖得主 Barak：AI 证明定理受益于人类辅助， soon 会像深蓝质疑一样可笑
soumitrashukla9 · x · 2026-09-09
哈佛计算机科学家 Boaz Barak 借卡斯帕罗夫对阵深蓝的旧事评论当前 AI 定理证明争议：当年卡斯帕罗夫一度声称深蓝背后必有人类协助，因为他难以接受机器在自己毕生钻研的领域超越自己。Barak 判断，很快「AI 证明定理时获得过人类辅助」这种质疑也会变得毫无意义——机器在人类擅长领域上的超越已成趋势。这是对 OpenAI/Anthropic Navier-Stokes 证明争议的间接回应。
所属事件:OpenAI 宣布求解纳维-斯托克斯难题，署名与验证争议发酵(491 条相关)→
「漫话AGI」频道最新
- 读懂AI意识之争:先分清对方站在哪种立场 — msharmas · 2026-10-27
- 功能主义视角：意识只是大脑的计算，硅片复现同样功能即得同样结果 — msharmas · 2026-10-27
- iPhone 新壳狂揽 8.5 万条评价：丰饶时代的万物皆假 — tekbog · 2026-10-27
- AI 能否有意识取决于你如何定义：理解意识的五种理论框架 — msharmas · 2026-10-27
- dunkhippo33 开聊:AI 时代该如何养育孩子 — kimmonismus · 2026-10-27
- AI 教育者：电工科班训练教我的系统瓶颈思维不会过时 — dunkhippo33 · 2026-10-27