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

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

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

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

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

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

Ken Ono與Axiom Math創(chuàng)始人Carina Hong

推動數(shù)學超級智能的人

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

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

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

但真正讓她著迷的，還是數(shù)學研究和發(fā)現(xiàn)。

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

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

Carina Hong在麻省理工學院

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

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

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

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

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

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

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

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

「數(shù)學研究已經(jīng)夠難了，去做數(shù)學的AI更難」。

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

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

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

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

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

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

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

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

非典型數(shù)學家

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

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

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

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

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

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

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

他也許是史上唯一一個出現(xiàn)在啤酒廣告里的數(shù)論學家，出演了米勒淡?。∕iller Lite）的超級碗廣告。

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

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

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

對比這些經(jīng)歷，你會發(fā)現(xiàn)Ken Ono是一個不斷追求破界、勇于打破常規(guī)的人。

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

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

一場研討會

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

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

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

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

在Ken Ono看來，這種人類創(chuàng)造力在數(shù)學中至關重要。

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

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

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

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

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

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

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

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

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

忽然之間，他頓悟了。

AI所展示的是另一種做數(shù)學的方式。

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

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

「半夜睡不著，我就開著手機跟它們討論數(shù)學，發(fā)現(xiàn)它們的水平高得離譜?！?/p>

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

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

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

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

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

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

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

Axiom的第15號員工

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

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

由Robinhood CEO Vlad Tenev聯(lián)合創(chuàng)辦的Harmonic也引發(fā)關注。

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

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

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

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

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

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

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

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

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

Axiom Math吸引這些頂級AI研究員的，正是它的使命——用AI推動數(shù)學發(fā)現(xiàn)。

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

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

參考資料：

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

文章來源：新智元。