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

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

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

前不久，他還在講座時(shí)調(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

推動(dòng)數(shù)學(xué)超級(jí)智能的人

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

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

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

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

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

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

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

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

獲得羅德獎(jiǎng)學(xué)金，使她有機(jī)會(huì)赴牛津大學(xué)進(jìn)一步深造。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1968年，Ken Ono出生于費(fèi)城，兒時(shí)迫于父母壓力的痛苦，他連高中都沒(méi)念完。

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

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

美國(guó)數(shù)學(xué)學(xué)會(huì)前主席Ken Ribet認(rèn)為Ken Ono是數(shù)學(xué)界的傳奇人物。

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

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

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

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

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

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

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

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

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

一場(chǎng)研討會(huì)

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

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

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

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

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

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

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

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

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

從那場(chǎng)研討會(huì)離開(kāi)時(shí)，Ken Ono覺(jué)得自己的內(nèi)心遭受了極大沖擊。

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

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

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

他對(duì)未來(lái)有點(diǎn)迷茫，唯一確定的是AI會(huì)越來(lái)越強(qiáng)。

忽然之間，他頓悟了。

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

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

頓悟后的Ken Ono每天都會(huì)花一兩個(gè)小時(shí)跟AI一起想點(diǎn)子。

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

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

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

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

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

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

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

「我很幸運(yùn)能去參與改變世界運(yùn)作方式的事業(yè)，作為純數(shù)學(xué)家，這是很少有的機(jī)會(huì)?！?/p>

Axiom的第15號(hào)員工

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

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

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

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

為了確立自己的競(jìng)爭(zhēng)優(yōu)勢(shì)，Carina Hong迅速組建了一支由杰出的人工智能與數(shù)學(xué)專家組成的團(tuán)隊(duì)，其中許多人來(lái)自Meta的FAIR實(shí)驗(yàn)室。

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

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

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

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

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

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

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

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

「即便抵達(dá)超級(jí)智能，仍會(huì)有數(shù)學(xué)問(wèn)題無(wú)解」，Ken Ono說(shuō)，但他還會(huì)繼續(xù)尋找答案。

正是這種持續(xù)探索的渴望，讓他與很多其他頂尖的研究者一起，在Axiom Math尋找自己的「?jìng)魇乐鳌埂?/p>

參考資料：

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

文章來(lái)源：新智元。