菲尔兹奖得主 Jacob Tsimerman 加入 OpenAI 主攻 AI 安全
菲尔兹奖得主 Jacob Tsimerman 加入 OpenAI，计划用数学证明方法解决长时程 AI 系统的行为安全验证难题。
新晋菲尔兹奖得主、数论学家 Jacob Tsimerman 现场宣布加入 OpenAI AI 安全团队。当前长时程智能体——能自主执行多步任务的 AI——的行为难以被传统测试覆盖，Tsimerman 希望用「数学证明」而非「经验测试」来确保 AI 不会做出无法预期的动作。
正文摘录
.jpg) 编辑｜杜伟、山辉 当地时间 7 月 23 日 12 点，费城宾夕法尼亚会议中心 126-B 会议室． 白色背景板前，四位新科菲尔兹奖得主并排坐下：邓煜、John Pardon、Jacob Tsimerman 和王虹。其中，邓煜与王虹成为首批获得菲尔兹奖的中国籍数学家。 而另一位获奖者、多伦多大学数学教授 Jacob Tsimerman 现场宣布了一个「炸裂」的消息 —— 他未来将转向「AI 安全」工作，并将加入 OpenAI 。  图源：https://www.youtube.com/watch?v=2dr2F2NVUkY 消息出来之后，包括 OpenAI 首席研究官 Mark Chen 以及前微软 AI 副总裁现 OpenAI 研究员 Sebastien Bubeck 在内，都确定了 Jacob Tsimerman 的加盟并对他表示了欢迎。 Mark Chen 称，「Jacob Tsimerman 的数学天赋无疑极为出众，而他对 AI 安全问题所展现出的严肃态度和思考深度，同样令人钦佩。