Barak：AI 数学热潮让更多人见识前沿数学，人类仍不可替代

图灵奖得主、OpenAI 研究员 Boaz Barak 谈论数学超级智能时代人类数学家的角色。他认为具有讽刺意味的是，AI 数学时代可能让多出一两个数量级的人第一次见识前沿数学的样子；同时强调如果 AI 证明了只有 AI 能理解的定理，那毫无意义——我们希望 AI 向人类解释，人类数学家仍不可替代。

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