新智元報道

編輯：元宇

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Carina Hong在麻省理工學(xué)院

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

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

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

在牛津期間，她還做過與深度學(xué)習(xí)相關(guān)的研究。

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

正是在斯坦福大學(xué)附近的咖啡館，她結(jié)識了meta的前AI科學(xué)家Shubho Sengupta。

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

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

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

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

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

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

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

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

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

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

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

非典型數(shù)學(xué)家

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

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

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

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

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

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

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

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

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

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

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

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

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

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

一場研討會

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

Ken Ono一直在關(guān)注AI對數(shù)學(xué)領(lǐng)域的影響。

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

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

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

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

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

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

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

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

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

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

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

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

忽然之間，他頓悟了。

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

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

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

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

Ken Ono離開大學(xué)并非只有AI的因素。

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

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

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

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

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

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

Axiom的第15號員工

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

參考資料：

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

秒追ASI

?點贊、轉(zhuǎn)發(fā)、在看一鍵三連?

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