不久前，57歲的美國弗吉尼亞大學(xué)數(shù)學(xué)系講席教授小野?。↘en Ono）辭去教職，加入了一家成立僅4個月的人工智能（AI）創(chuàng)業(yè)公司Axiom Math。公司的創(chuàng)始人是他曾經(jīng)的學(xué)生洪樂潼，24歲。

近日，Axiom Math宣布其“AI數(shù)學(xué)家”在無人干預(yù)的情況下，攻克了困擾數(shù)學(xué)界數(shù)十年的兩道埃爾德什難題。同一天，洪樂潼收到了入選“福布斯30歲以下30人”榜單的消息。

一位什么樣的年輕人，能讓終身教授押上職業(yè)生涯為其“打工”？

洪樂潼 受訪者供圖

單線程

洪樂潼形容自己是一個“單線程”的人。她必須將一件事全部做完，再開啟下一件。

2001年，洪樂潼出生在廣州天河區(qū)的一個普通家庭，父母是土生土長的潮汕人，在廣州務(wù)工打拼。洪樂潼從小就展現(xiàn)出了驚人的數(shù)學(xué)天賦，父母也竭盡所能支持她。14歲時，她在草稿紙的邊緣寫下“MIT”三個字母，激勵自己。

2019年，洪樂潼如愿考入美國麻省理工學(xué)院（MIT）。彼時正值疫情，“沒什么其他事情干，就一直做數(shù)學(xué)研究”。在洪樂潼心目中，數(shù)學(xué)研究是世界上最好玩的事情。她在多位教授指導(dǎo)下參與了本科生科研項(xiàng)目，主攻數(shù)論和組合數(shù)學(xué)，發(fā)表了9篇數(shù)學(xué)研究論文。

洪樂潼在本科時展現(xiàn)的數(shù)學(xué)天分，被整個北美“看見”——她獲得北美數(shù)學(xué)本科生最高榮譽(yù)“摩根獎”，以及美國每年僅頒發(fā)給一名女性本科生的Alice T.Schafer獎。此后，她獲得來自英國的羅德獎學(xué)金，赴牛津大學(xué)攻讀碩士學(xué)位。

在英國，洪樂潼還加入了蓋茨比計算神經(jīng)科學(xué)中心做研究。該中心由諾獎得主、“深度學(xué)習(xí)之父”杰弗里·辛頓創(chuàng)建。

數(shù)理基礎(chǔ)扎實(shí)的洪樂潼搞起AI研究是非常得心應(yīng)手的。她一度成為蓋茨比計算神經(jīng)科學(xué)中心“理論做得最好的年輕人”，由此接觸到許多最前沿、最好玩兒的課題。

除了數(shù)學(xué)和AI，洪樂潼還有另一項(xiàng)截然不同的學(xué)習(xí)興趣——法律，尤其是憲法、刑法和訴訟。她稱這可能與高中加入辯論隊(duì)的經(jīng)歷有關(guān)。

讀博第一年，洪樂潼選修了法律，她不僅全身心地投入法律硬核課程中，還用所學(xué)知識來幫助低收入勞工。

“你會突然接到一個高空作業(yè)工人或是清潔工打來的電話。你需要理解他們的危險和困境，不能只靠書本上的法律知識，而要從他們的視角出發(fā)，來選擇用哪些法律條文。”經(jīng)歷“學(xué)以致用”后，洪樂潼的感悟是，有些法律用起來“軟綿綿的”，而有些法律則可以真正地解決問題。

法律和數(shù)學(xué)，兩個看起來風(fēng)馬牛不相及的學(xué)科，實(shí)則都將洪樂潼拋向同一個淬煉場，從無到有地去學(xué)習(xí)，直面真實(shí)的問題，找到最具銳度的解法。

黑馬

但洪樂潼很快就“閑不住”了。她心里癢癢，忍不住想讀數(shù)學(xué)文章，想去計算機(jī)系蹭課，想?yún)⒓覣I的學(xué)術(shù)會議?！吧钪羞€是不能沒有數(shù)學(xué)和科技?！焙闃蜂f。

再次走到AI科技前沿時，洪樂潼嗅到了創(chuàng)業(yè)的機(jī)會。2024年秋天，一種名為Lean的語言進(jìn)入她的視野。

與自然語言不同，Lean語言是一個非常神奇的、可以自驗(yàn)證的數(shù)學(xué)編程語言。洪樂潼打了個比方：“如果用英語寫出數(shù)學(xué)證明，我沒辦法知道一個5000行的證明是否正確，需要找高水平的專家驗(yàn)證。但Lean是自驗(yàn)證的，只要跑通了就是對的?！?/p>

2025年1月，在美國最大的數(shù)學(xué)家聚會——2025年聯(lián)合數(shù)學(xué)會議（JMM）上，洪樂潼見到了許多做Lean語言的數(shù)學(xué)家。她意識到，“AI數(shù)學(xué)家”有可能從科幻變成現(xiàn)實(shí)。

2025年10月，在Axiom Math完成6400萬美元（約合人民幣4.6億元）融資后，洪樂潼放棄了博士學(xué)位，全身心投入了創(chuàng)業(yè)。她的團(tuán)隊(duì)，也成了一匹飛速奔跑的“黑馬”。

2025年12月3日，洪樂潼在社交平臺發(fā)文，宣布其公司開發(fā)的AxiomProver系統(tǒng)，分別用1天和5小時，在無人為干預(yù)的情況下完成了埃爾德什問題集中第124題和第481題的證明。

“我真正感受到了一個AI時刻，有些事情和昨天不一樣了。正如AI解決蛋白質(zhì)折疊問題一樣，‘AI數(shù)學(xué)家’是送給人類的禮物！”她說。

幾乎同一時間，由美國億萬富翁弗拉基米爾·特涅夫（Vladimir Tenev）創(chuàng)辦的公司Harmonic開發(fā)的“AI數(shù)學(xué)家”Aristotle也解決了同樣的問題。

但“黑馬”的故事無疑更讓人振奮——相比知名公司，洪樂潼的團(tuán)隊(duì)晚了兩年才進(jìn)入市場，且融資額和估值僅有競爭對手的五分之一。

“草根”

洪樂潼告訴《中國科學(xué)報》，其實(shí)，她最喜歡的事情并不是當(dāng)“精英”，而是做“草根”，做個nobody（小人物），這樣學(xué)習(xí)的坡度最陡、速度最快。

她的團(tuán)隊(duì)是一個神奇的組合。有57歲的頂尖數(shù)學(xué)家小野健——為了加入前學(xué)生洪樂潼的團(tuán)隊(duì)，他不惜辭去弗吉尼亞大學(xué)終身教職。也有2003年出生、22歲就發(fā)表多篇重要論文的年輕人。有美國Meta公司的科學(xué)家，有編譯器專家，還有理論物理學(xué)家……

洪樂潼用了一個詞來形容團(tuán)隊(duì)的氣質(zhì)：草根工程師精神。

“草根”，代表始終“空杯”的心態(tài)和堅韌的品質(zhì)。在創(chuàng)業(yè)這條路上，即使是資深“牛人”，也要從頭學(xué)起，不斷自我革新。

洪樂潼至今還記得和Meta前員工Shubho Sengupta的一次咖啡館對話。他們談天說地，聊理論機(jī)器學(xué)習(xí)的實(shí)踐價值，聊共同認(rèn)識的研究者，聊未來AI與廣告的融合……這位員工后來成為洪樂潼公司的首席科技官。還有做了6年AI數(shù)學(xué)研究的Francois Charton，倆人一聊就是3小時，一直接聊到后半夜。

團(tuán)隊(duì)由最初的不到10人，逐漸增長到15人以上。作為創(chuàng)始人和首席執(zhí)行官，在被問到如何帶領(lǐng)團(tuán)隊(duì)時，洪樂潼說：“我其實(shí)不太喜歡用‘帶領(lǐng)’這種詞。我希望自己是一個Individual contributor（獨(dú)立貢獻(xiàn)者），我們團(tuán)隊(duì)是一群志同道合的人在一起做事?！?/p>

而融資的過程，也是一場“草根”式的歷練。

2025年初，DeepSeek橫空出世，美國AI市場彌漫著恐慌情緒。洪樂潼團(tuán)隊(duì)正處于融資關(guān)鍵期，投資人的問題接踵而至：“DeepSeek又推出了什么？”“OpenAI那邊怎么樣？”“你們的技術(shù)有沒有防御性？”

融資的場景往往不在正式的會議室，而是一通突如其來的電話，或一場看似隨意的社交晚餐，毫無調(diào)研準(zhǔn)備的時間。

“我不能有任何的表現(xiàn)失常，因?yàn)椴粫儆袡C(jī)會了?！睘楸３置翡J，洪樂潼的大腦總是在轉(zhuǎn)、在思考，幾乎形成了瞬間肌肉記憶。

最終，Axiom Math的種子輪融資達(dá)到6400萬美元，估值3億美元?！拔液苌僖姷椒N子輪融這么多的，非常少見?！焙闃蜂f。

夢想家

在洪樂潼心中，“AI數(shù)學(xué)家”的終極意義藏在一個古老的故事里。

“你看過傳記電影The Man Who Knew Infinity（《知無涯者》）嗎？”她問道。電影主角拉馬努金是一位印度天才。他從未接受過正規(guī)的證明訓(xùn)練，僅憑直覺便在草稿紙上寫滿了令人驚嘆的數(shù)學(xué)猜想。遇到數(shù)學(xué)家哈代和利特爾伍德后，拉馬努金才開始學(xué)習(xí)怎么證明。

“如果世界上某個角落有一個拉馬努金，那么‘AI數(shù)學(xué)家’能夠幫助他完成證明，讓他有更多時間和能量去完成下一個直覺的發(fā)現(xiàn)?！焙闃蜂f，“我們的夢想，其實(shí)是數(shù)學(xué)發(fā)現(xiàn)本身。”

在創(chuàng)業(yè)路上，失敗也是家常便飯?！叭绻忝刻熳?00件事，至少有5件會做得很差。”洪樂潼坦言，團(tuán)隊(duì)曾在招聘策略上走過彎路——只關(guān)注有研究想法的人，卻忽略了那些不擅研究的工程人才。

當(dāng)被問到如何保持高能量，洪樂潼的答案出人意料：“我睡得挺充足的，能睡9個小時。”

接受采訪的最后，洪樂潼分享了給年輕創(chuàng)業(yè)者的建議：一定要選擇最難的問題。如果已經(jīng)覺得很難了，還要把它想得更難一些。她頓了頓，又補(bǔ)充道：“如果你覺得這個問題兩年內(nèi)會解決，不要做。你要做一個5到10年后還在進(jìn)行的問題。”

結(jié)束受訪時，洪樂潼那邊已經(jīng)是凌晨2點(diǎn)。醒來后，她要飛往美國圣地亞哥，參加全球最大的機(jī)器學(xué)習(xí)會議NeurIPS，她的公司是“AI for Math”分會場的贊助商。

（原標(biāo)題為《57歲終身教授辭職，給24歲學(xué)生老板“打工”》）