图灵奖得主 Barak：AI 证明定理受益于人类辅助， soon 会像深蓝质疑一样可笑
soumitrashukla9 · x · 2026-09-09
哈佛计算机科学家 Boaz Barak 借卡斯帕罗夫对阵深蓝的旧事评论当前 AI 定理证明争议：当年卡斯帕罗夫一度声称深蓝背后必有人类协助，因为他难以接受机器在自己毕生钻研的领域超越自己。Barak 判断，很快「AI 证明定理时获得过人类辅助」这种质疑也会变得毫无意义——机器在人类擅长领域上的超越已成趋势。这是对 OpenAI/Anthropic Navier-Stokes 证明争议的间接回应。
所属事件:图灵奖得主 Barak：质疑 AI 证定理终将像深蓝争议一样可笑(2 条相关)→
「漫话AGI」频道最新
- 开源若不追赶，AI 发现能力将落入双寡头之手 — ayushthakur0 · 2026-09-09
- 观点:一旦被拿去训练,你的洞见就不再是你的洞见 — cjmaddison · 2026-09-09
- 中美AI安全议题将上峰会桌面,学者呼吁建立沟通渠道 — austinc3301 · 2026-09-09
- Anshul Kundaje：基因组学正处于技术突破的黄金期 — anshulkundaje · 2026-09-09
- 斯坦福 Kundaje:ML for Bio 领域该改革同行评议评价体系了 — anshulkundaje · 2026-09-09
- Kundaje:可复现软件与透明技术报告都该算重量级科研贡献 — anshulkundaje · 2026-09-09