菲爾茲獎得主雅各布宣佈加入OpenAI：剛領完獎就去搞AI安全

7月23���，國際數學家大會在費城開幕。新晉菲爾茲獎得主雅各布·齊默曼在領獎後接受記者採訪時，直接丟擲一個重磅訊息：很快入職OpenAI，方向是AI安全。

這位1988年出生於俄羅斯、在加拿大長大的數學家履歷堪稱傳奇：16歲進多倫多大學，兩年讀完本科；連續兩年代表加拿大出戰國際數學奧林匹克，拿到滿分金牌；普林斯頓博士畢業後，28歲成為多倫多大學史上最年輕的正教授。他這次獲獎是因為證明了André-Oort猜想——一個懸置了近40年的算術幾何核心難題。

但真正讓大家震驚的，不是他的學術成就本身，而是他獲獎後的職業選擇。

雅各布一直對AI持相當激進的看法。他曾在學術期刊上明確寫道：「我認為AI有相當大的可能導致人類滅絕。」2025年他發表了一篇論文，專門對「AI滅絕人類的各種方式」建立分類學。他的X賬號註冊十幾年只發了一條帖子，內容是討論「數學家將如何失業」。

一個相信AI可能滅絕人類的人，現在加入了全球最前沿的AI公司。這聽起來矛盾，但雅各布的邏輯很簡單：他支援暫停AI發展，但不認為暫停會發生。既然擋不住，與其站在外面抵制，不如進場搞清楚它、參與塑造它。

更有戲劇性的是，就在三天前，雅各布的學生阿爾波格用Anthropic的Claude Fable 5在一夜之間推翻了一個懸置87年的數學猜想——雅可比猜想。阿爾波格現在就在Anthropic工作。老師加入OpenAI，學生在Anthropic。師徒二人，一人一家。

回過頭看，這件事的意義遠超一個數學家的個人職業選擇。它折射出AI實驗室對頂級數學人才的爭奪已經到了什麼程度。OpenAI、Anthropic、谷歌DeepMind過去一年在數學人才上展開了事實上的軍備競賽。對AI公司來說，最值錢的人不再是工程師，而是那些能幫模型學會「推理」和「證明」的數學家。

雅各布在自己的X賬號帖子裡說了一段值得玩味的話：「如果解題的樂趣消失了，很多人可能就不想再做數學了。數學家也是人，需要錢、住房、食物、愛、鍛鍊，以及各種形式的意義。」

他預測AI在兩年內就可能在定理證明上超過人類。到時候數學家只需要說：「這是命題，去證吧。」這不是科幻——他本人已經在用ChatGPT和Claude做日常研究，工具幫他走完80%，剩下20%自己收尾。

問題在於，當數學家也開始被AI「最佳化」的時候，下一個被最佳化的會是什麼？