![]()
新智元報道
編輯:元宇
傳奇數(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ā)、在看一鍵三連?
點亮星標,鎖定新智元極速推送!





京公網(wǎng)安備 11011402013531號