菲尔兹奖得主Jacob Tsimerman宣布加入OpenAI，主攻AI安全
顶尖数学家携“AI将取代数学证明”的判断加入OpenAI安全团队，其弟子已用AI破解百年难题。
新晋菲尔兹奖得主Jacob Tsimerman在获奖当天宣布加入OpenAI，从事AI安全研究。他预测AI两年内将在证明定理上超越人类。此前，他的一名学生已用Anthropic的Claude Fable 5推翻了悬置87年的雅可比猜想。
正文摘录
新晋菲尔兹奖得主，当天宣布加入 OpenAI 量子位 报道 Jacob Tsimerman，这位领奖台上和王虹、邓煜站在一起的人，一下台就向大家示范了： 他还有个学生，三天前刚用 Claude Fable 5 一夜推翻 87 年悬案雅可比猜想，人在 Anthropic。 2003、2004 年连续两年代表加拿大出战 IMO，两块金牌，2004 年那块是满分。 2011 年在普林斯顿拿下博士学位，导师 Peter Sarnak。之后经哈佛 Society of Fellows 镀金，回到多大任教，成为该校数学系史上最年轻的正教授。 这次获奖，表彰的是他在 André-Oort 猜想上的证明工作。这个算术几何领域的核心难题，此前悬置了近 40 年。 顺便一提，这届菲尔兹奖的含金量本身就有点吓人：Kakeya 猜想，1917 年悬置至今；希尔伯特第六问题的动理学部分，1900 年提出；再加上 André-Oort。 记者会上，有人问起未来打算，这位新科得主直接摊牌：很快入职 OpenAI，方向是 AI 安全。 我认为世界正在改变。我们现在所熟知的数学职业……我不认为它还会以现在这个样子存在下去了。 安全研究员、哈佛教授 Boaz Barak 发推：期待并且「深感谦卑」地欢迎 Jacob 加入，一起搞 AI 安全。 微软前副总裁、现 OpenAI 的 Sebastien Bubeck 也跟上：欢迎入队，接下来会非常有趣。 然后他讲了一件挺「掏心窝子」的事。他说，自己几乎所有时间都在解决问题，而只要有人解决了 Zilber-Pink 猜想的一般形式…… 一整个学术共同体，数学家、博士后、研究生，全都围着这一个猜想转：拆特例，试策略，找类比。 具体能有多快？他在今年 AMS Notices（美国数学会公告）的访谈里给过时间表： 五年？我觉得两年内，它在证明定理上可能就比我们强了。