半夜被AI「嚇醒」！57歲導師投奔24歲華人女學霸，打造「AI數學家」

新智元報道

編輯：元宇

【新智元導讀】傳奇數學家Ken Ono辭去了弗吉尼亞大學終身教職，加入了自己學生Carina Hong創辦的Axiom Math，打造「AI數學家」。促使他做出這一決定的，只因他在一次研討會上看到了AI在數學研究上的無限可能。

剛剛，57歲的數學教授Ken Ono宣布辭去終身教職，跟隨自己24歲的學生Carina Hong追逐「數學超級智能」。

Ken Ono是目前全球最杰出的數學家之一，對于在弗吉尼亞大學執教的他來說，硅谷AI初創公司好比另一個世界。

前不久，他還在講座時調侃AI技術的「神話」，稱自己是NI（Naturally Intelligent，天生智能）。

如今，NI和AI要合二為一了。

Ken Ono從弗吉尼亞舉家搬到了數千公里之外的硅谷，加入了Carina Hong的AI初創公司Axiom Math。

Ken Ono與Axiom Math創始人Carina Hong

推動數學超級智能的人

2024年，仍在斯坦福大學攻讀博士的Carina Hong，在學校附近的一間咖啡館中萌生了創辦Axiom Math的想法。

24歲的她有著近乎「逆天」的履歷。

Carina Hong在中國廣州長大，她在很小的時候就發現了自己對數學的熱愛，她曾接受過奧數訓練，并從激烈的競爭中脫穎而出。

但真正讓她著迷的，還是數學研究和發現。

「奧數是一連串的多巴胺刺激，但做研究就是不斷撞墻——那是一種痛苦。我喜歡那種痛苦。」

作為家族中第一代大學生，Carina Hong大概在十四五歲的時候，就已經把目標鎖定了麻省理工學院（MIT）。

Carina Hong在麻省理工學院

她3年內從MIT畢業，拿下美國本科數學研究最高獎Frank and Brennie Morgan Prize（摩根獎）和Rhodes Scholarship（羅德獎學金）。

獲得羅德獎學金，使她有機會赴牛津大學進一步深造。

因此，從MIT畢業后，她放棄了做對沖基金量化交易員的機會，選擇了前往牛津大學攻讀神經科學碩士學位。

在牛津期間，她還做過與深度學習相關的研究。

隨后，Carina Hong又去斯坦福攻讀法律博士和數學博士。

正是在斯坦福大學附近的咖啡館，她結識了Meta的前AI科學家Shubho Sengupta。

他們討論了把AI和數學兩個領域結合起來的想法。

隨后一段時間內，Carina Hong時常想起AMD的CEO蘇姿豐對學生的建議：奔向最難的問題。

「數學研究已經夠難了，去做數學的AI更難」。

于是去年夏天，等Axiom Math的種子輪融資一落地，Carina Hong立刻退學創業。

曾和她一起在咖啡館討論問題的Shubho Sengupta，也成了Axiom Math的CTO。

Carina Hong退學創辦Axiom Math時，短短幾個月便完成了6400萬美元的種子輪融資，估值3億美元，并吸引了包括Shubho Sengupta在內的前Meta的AI研究員。

Axiom這個名字來自「公理」，即數學中可構筑整套理論的基本真理。

Carina Hong的想法是打造一款「AI數學家」，這是一個能夠推理已有問題、發現新問題，并用形式化證明驗證自己工作的AI系統，而不僅僅是給出答案。

Carina Hong認為數學是打造超級智能的完美試驗場，她希望Axiom Math未來能夠攻克一些困擾人類數百年的難題，甚至能夠提出全新的數學猜想。

投資方B Capital將Carina Hong稱作「推動數學超級智能的人」。

盡管AI泡沫令人擔憂，但數學家們卻越來越看好AI可以帶來數學突破的潛力。

非典型數學家

與自己的天才學生Carina Hong一樣，Ken Ono的經歷同樣堪稱傳奇。

1968年，Ken Ono出生于費城，兒時迫于父母壓力的痛苦，他連高中都沒念完。

即使這樣，他仍然考取了芝加哥大學，并在數學家父親的影響下愛上了數學。

畢業后Ken Ono在威斯康星大學、埃默里大學執教多年，并于2019年前往弗吉尼亞大學擔任數學系教授。

美國數學學會前主席Ken Ribet認為Ken Ono是數學界的傳奇人物。

Ken Ono以對印度數學奇才拉馬努金（Srinivasa Ramanujan）理論的深入研究而聞名，還帶領了美國頂尖的本科研究項目，培養過10位Morgan Prize得主，Carina Hong就是其中的一位。

不滿足于「紙上數學」，Ken Ono還積極地將數學應用于體育與科學傳播。

他也許是史上唯一一個出現在啤酒廣告里的數論學家，出演了米勒淡啤（Miller Lite）的超級碗廣告。

他曾為UVA游泳隊和美國奧運金牌選手提供咨詢，運用數學分析和建模為精英競技游泳運動員提供指導。

Ken Ono還參與制作一部了致敬數學家拉馬努金的傳記電影《知無涯者》，任該電影的聯合制片人兼數學顧問。

《知無涯者》（The Man Who Knew Infinity）電影劇照

對比這些經歷，你會發現Ken Ono是一個不斷追求破界、勇于打破常規的人。

對于他來說，辭掉終身教職，舉家搬到數千公里外的硅谷，加入一家初創的AI公司，并不是一個十分令人意外的選擇。

而且，這一切轉變，早在去年春天已經埋下了伏筆。

一場研討會

讓Ken Ono找到「另一種做數學的方式」

Ken Ono一直在關注AI對數學領域的影響。

這更多是出于一種好奇，而非恐懼。

他發現AI在認知任務、解決已知問題上表現驚人，但一旦涉及需要直覺與抽象思維的創造力部分，比如在純數學領域仍顯得笨拙。

在Ken Ono看來，這種人類創造力在數學中至關重要。

基于這一認知，他原本認為自己的工作至少還能穩定幾十年。

然而去年春天的一次探討會，改變了Ken Ono的想法。

當時的他受邀參加一次測試AI模型的活動，作為參與這次活動的30位數學家之一，他們需要提出研究級難題來考驗AI模型。

愛穿夏威夷襯衫的Ken Ono在數學界是個極具傳奇色彩的人物

從那場研討會離開時，Ken Ono覺得自己的內心遭受了極大沖擊。

他感覺到自己原本領先AI的那一點優勢正在迅速消失！

而且在那些并非自己專長的領域，模型甚至已經把他甩在了后面。

之后的數月，Ken Ono都好像在「哀悼自己原有的身份」。

他對未來有點迷茫，唯一確定的是AI會越來越強。

忽然之間，他頓悟了。

AI所展示的是另一種做數學的方式。

以往他一直有同事、研究生、天才本科生作為搭檔，現在這些搭檔之中又多了一個新角色——AI。

頓悟后的Ken Ono每天都會花一兩個小時跟AI一起想點子。

「半夜睡不著，我就開著手機跟它們討論數學，發現它們的水平高得離譜。」

Ken Ono離開大學并非只有AI的因素。

隨著司法部把矛頭對準高等教育，他擔心研究經費岌岌可危。

今年早些時候，弗吉尼亞大學校長在特朗普政府壓力下辭職。

作為教務長在STEM事務上的顧問，Ken Ono花在處理政治相關事務上的時間也越來越多，做數學的時間卻越來越少。

于是他決定離開弗吉尼亞大學投身AI。

在他看來，這是又一次把數學的影響力延伸到校園之外的機會。

「我很幸運能去參與改變世界運作方式的事業，作為純數學家，這是很少有的機會。」

Axiom的第15號員工

做出了投身AI的決定之后，Ken Ono立刻就想到了Carina Hong，她是Ken Ono在2020年本科研究項目的學生。

Axiom Math創辦幾天后，Google DeepMind和OpenAI的模型在國際數學奧林匹克競賽奪金，令全球數學圈沸騰。

由Robinhood CEO Vlad Tenev聯合創辦的Harmonic也引發關注。

Tenev表示數學超級智能正在一點點逼近。

為了確立自己的競爭優勢，Carina Hong迅速組建了一支由杰出的人工智能與數學專家組成的團隊，其中許多人來自Meta的FAIR實驗室。

核心成員包括Francois Charton，他因解決了一個百年數學難題而聞名；Hugh Leather，是代碼生成領域深度學習的早期先驅之一。

Axiom Math的招募活動在硅谷引起轟動，也吸引了Ken Ono的注意。

隨后，Ken Ono帶著妻子舉家搬到數千公里外的硅谷，正式成為Axiom Math的第15名員工，擔任創始數學家。

他的任務是把公司的AI模型推到極限。

他會設計那些只有真正理解數學原理才能解決的代表性問題，同時制定評估系統表現的基準，幫助模型找到前進方向。

Ken Ono認為，這些工作好比制作航海圖，想要發現新大陸，就要先知道自己在哪兒、哪些地方已經被探索過。

Carina Hong表示，Ken Ono是許多數學學生的偶像，他在Axiom Math遇到了許多和他年齡相仿的同事。

Axiom Math吸引這些頂級AI研究員的，正是它的使命——用AI推動數學發現。

「即便抵達超級智能，仍會有數學問題無解」，Ken Ono說，但他還會繼續尋找答案。

正是這種持續探索的渴望，讓他與很多其他頂尖的研究者一起，在Axiom Math尋找自己的「傳世之作」。

參考資料：

https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417

秒追ASI

?點贊、轉發、在看一鍵三連?

點亮星標，鎖定新智元極速推送！