图灵奖得主 Barak：质疑 AI 证定理终将像深蓝争议一样可笑

哈佛教授、图灵奖得主 Boaz Barak 评论 OpenAI 智能体解出千禧年难题一事。他借卡斯帕罗夫当年质疑深蓝背后有人类协助的旧事指出，如今对 AI 定理证明需要人类辅助的质疑，很快会像当年的深蓝质疑一样可笑。他还表示，即使不在乎微分方程奇点，AI 确实解出千禧年难题也说明模型仍有巨大上升空间。

2026-09-09 ~ 2026-09-09 · 2 条相关