Jacob Tsimerman今年38歲，他預期人工智能很快會在研究數學上全面跑贏人類數學家，令學科進展提速達一百倍，為此他決定加盟 OpenAI，主攻AI安全風險。
重點摘要：
- Tsimerman認為，AI系統終將在研究數學上超越人類，逼使整個學科運作模式大翻修。
- 他會向多倫多大學請長假，但保留教席。
- 加入OpenAI後，他聚焦的是安全風險，而非推高模型「能力上限」。
Tsimerman親解為何投身OpenAI
在上周五刊出的訪問中，這位多倫多大學數論專家形容，過去幾個月出現了明顯斷層式變化：先是為高中生設計的競賽題被AI陸續「攻陷」， 接着只是短短數月，連研究級數學成果也開始被模型攻破。曾經在簡單題目上頻頻出錯的系統，如今已能寫出足以令職業數學家感到 「可以拿去發表」的證明。
若這條趨勢持續，他預計AI會在現有大部分數學研究工作上穩定壓過人類。到那一刻，整個數學界都要重新檢視學科究竟應該如何運作。
他在7月23日、國際數學聯盟公佈最新一屆菲爾茲獎得主後數小時，先於一篇報道中披露這項決定。Tsimerman因證明 André-Oort猜想而獲選為本屆四位得主之一；這個被視為「數學界諾貝爾獎」的榮譽，每四年只頒予40歲以下數學家。本屆另外三位得主分別是 Hong Wang、Yu Deng及John Pardon，詳情可見相關報道。
Tsimerman現時只是向多倫多大學數學系請假，仍保留教席，他亦坦言自己暫時只規劃好未來一年，之後如何發展仍未有定案。
延伸閱讀：比特幣ETF單日吸資2.331億美元 幾乎全由一隻基金貢獻
陶哲軒：數學正步入「基礎危機期」
早前在費城舉行的同一個大型數學會議上，菲爾茲獎得主**陶哲軒（Terence Tao）**亦發出警號，指數學界已進入一個動盪期，他在演講 中指出，這是一場關乎學科基礎與運作價值觀的「危機」。
陶哲軒提到，今年5月有實驗讓最前沿的大型模型處理10條未公開的研究級難題；結果AI解出其中7條，其證明經專家審稿確認正確， 甚至被評為「足以刊登」。在Tsimerman眼中，這種轉變其實存在巨大正面潛力：如果純數學與應用領域之間的連結被大幅收緊，一些以往需時 數十年的知識轉化過程，有可能被壓縮到數年甚至更短，令「有用的數學」產出量上升百倍。
Tsimerman押注AI安全而非單純「做大模型」
他今次在OpenAI的任務將集中於安全，而不是幫模型「變得更強」。在他看來，「能力」端即使沒有他也會飛快向前，但「安全」這一邊， 仍有大量關鍵工作未完成，參與的人亦遠遠不足。
這種關注並非臨時起意。去年他與Andrew Critch合寫一份報告，嘗試將由AI觸發的人類滅絕風險作系統性分類，把情境分成五大種類， 按「究竟由誰負責、是否有人能被追責」來劃分架構，相關論文已上載至 arXiv。
本周他亦公開支持一封由超過1,000名科技公司員工聯署的公開信，當中包括來自OpenAI、Anthropic、Google及Meta的員工， 以及Anthropic行政總裁Dario Amodei。這封信呼籲華盛頓政府支持一項 國際協調機制，以對最前沿AI系統的研發節奏進行管控。