57歲傳奇數學家放棄終身教職后，竟選擇為00后中國女孩打工？

00后創始人正集體登上AI舞臺。

文|極 耳

AI熱潮不僅讓有錢人變得更有錢，還讓一批年輕人成為了新的億萬富翁。00后洪樂潼就是其中之一。

洪樂潼有多優秀？

據參考消息，不久之前，世界著名數學家小野健還認為加入硅谷一家人工智能(AI)初創公司的想法很荒誕，最近他還在演講開場時調侃這項新興技術受到的熱捧。

然而很快，他跳槽去了一家由他的學生洪樂潼創辦的公司，成為了這家初創公司里最令人意想不到的員工。

世界著名數學家小野健跳槽去了一家由他的學生洪樂潼創辦的公司

小野健以數論方面的研究而聞名。美國數學會前主席肯·里貝說：“他是數學界的傳奇人物。”

此外，小野健曾為弗吉尼亞大學的游泳運動員和美國隊的奧運游泳金牌得主提供咨詢；給美國國家安全局提供建議；參與制作了2015年的電影《知無涯者》；他還主導過全國頂尖的本科生研究項目，并且在他的指導下有10人獲得摩根獎，其中就包括他的這位新雇主。

在AI徹底改變小野健的職業生涯之前，他一直自認為是AI的懷疑論者。但他也清晰地認識到：“我與這些模型之間的領先優勢在縮小。而在不屬于我專長的領域，這些模型已經把我遠遠甩在身后。”

促使他離職的另一個原因，恐怕要算到美國總統特朗普頭上。隨著美國政府將矛頭對準高等教育，他擔心聯邦科研經費會受到沖擊。

今年早些時候，弗吉尼亞大學的校長在特朗普政府的壓力下辭職。作為學校教務長的顧問，小野健花在“事務”上的時間越來越多，真正做數學的時間變少了。

投身AI，是他難以拒絕的選擇。“我有幸參與改變世界運作方式的進程。”小野健說，“作為一名純粹的數學家，這樣的機會實屬少見。”

“我不是為錢而來。”小野健本就是弗吉尼亞大學薪酬最高的教職人員之一，并表示自己也曾拒絕過其他AI公司提供的更豐厚的報酬和更大股權。

他還預言，“我一定不會是最后一個”。

那么，讓小野健改變想法，作出離職選擇的洪樂潼究竟是何人呢？

圖為洪樂潼

公開資料顯示，洪樂潼是廣州出生長大的潮汕人。盡管父母并沒有接受過高等教育，洪樂潼卻自幼展現出不凡的數學天賦，她中學就讀于廣東名校華南師范附中，多次拿下奧數競賽獎牌。14歲時，她在草稿紙的邊緣寫下“MIT”三個字母，激勵自己。

2019年，她成功考入麻省理工學院，攻讀數學和物理雙學位。畢業前后，洪樂潼先是拿下Schafer數學卓越獎，該獎每年僅頒發給一名本科女生；后獲得北美數學本科生的最高榮譽——摩根獎，她是第五位獲此殊榮的女生。

2022年底，洪樂潼成功拿到牛津大學羅德獎學金。羅德獎學金是世界上歷史最悠久、最負盛名的國際獎學金項目之一，有“本科諾貝爾獎”的美譽。

碩士期間，她還在倫敦大學學院進行人工智能和機器學習研究，當時她曾表示：“人工智能與科學家未來的互動會怎樣？是我接下來希望研究的課題。”

數理基礎極強的洪樂潼搞起AI研究是非常得心應手的。她一度成為中心里“理論做得最好的年輕人”，能接觸到許多最前沿、最好玩兒的課題。

除了數學和AI，洪樂潼還對法律很感興趣，尤其是憲法、刑法和訴訟。

2024年8月，洪樂潼進入斯坦福大學攻讀數學博士和法學博士，第一年，她全身心地投入到法律硬核課程中，并用所學來幫助低收入勞工。

也是在讀博期間秋天的一個周末，洪樂潼在斯坦福附近的一家咖啡館，與當時還在Meta工作的Shubho Sengupta進行了交流。

這次交流后不久，洪樂潼便從斯坦福退學，著手創辦Axiom。

創業僅4個月，洪樂潼帶領不足10人的團隊接連攻克兩道懸而未決的數學難題

Axiom Math成立后不久便完成了6400萬美元的種子輪融資（約合人民幣4.6億元），由B Capital領投，Greycroft，Madrona Venture Group和Menlo Ventures參投，融資后公司估值達到3億美元（約合人民幣20億元）。“我很少見到種子輪融這么多的，非常少見。”洪樂潼說。

當然，洪樂潼為此付出了很多。

據中國科學報的采訪，2025年初，DeepSeek橫空出世，美國AI市場彌漫著恐慌情緒。團隊正處于融資關鍵期，投資人的問題接踵而至：“DeepSeek又推出了什么？”“OpenAI那邊怎么樣？”“你們的技術有沒有防御性？”這樣的問題提出往往不在正式的會議室，而是一通突如其來的電話，或一場看似隨意的社交晚餐，毫無調研準備的時間。而為了應對這樣的問題，洪樂潼的大腦總是在轉，在思考，幾乎形成了瞬間肌肉記憶。

官網顯示，這家嶄露頭角的AI公司，定位為“以AI數學家為起點，打造一個能夠自我提升的超級智能推理系統”。

具體而言，Axiom的想法是將教科書、論文和期刊中的英文數學內容轉換為程序化知識，以便人工智能可以解決數學問題，并能通過驗證來檢驗解答。未來，這一模型的研究場景有望拓展到金融建模、芯片架構甚至是量化交易等領域。

創業僅4個月，洪樂潼帶領不足10人的團隊（核心成員僅4人），用自主研發的Axiom Prover系統，可在分鐘級完成IMO銀牌難度幾何題，并接連攻克兩道懸而未決的數學難題，震驚了數學界與AI圈。

洪樂潼入選“福布斯30歲以下30人”榜單 圖源：福布斯官網

作為Axiom的第15名員工，小野健的工作是把公司的AI模型推向極限。他將設計那些只有真正理解數學原理才能解出的代表性問題，同時起草基準體系，以衡量系統表現、指引模型改進。

而在創始人洪樂潼的設想中，該模型或許能提出新的數學猜想，由此產生全新的知識。

值得一提的是，00后創始人正集體登上AI舞臺。

據媒體梳理，不久前，22歲的華裔女生Jessica Wu和23歲的尼爾·德什穆克所創立的Sola Solutions拿下硅谷知名風投的融資。

2025年5月，AI初創公司Anysphere完成一輪9億美元融資（約合人民幣65億元），估值達90億美元，成為今年最火AI編程獨角獸之一。掌舵公司的也是來自麻省理工的四張年輕面孔。

還有此前完成天使輪融資的靈初智能，由高瓴創投和藍馳創投領投，公司聯合創始人陳源培是一名癡迷機器人的00后。

有投資人分析，這一波AI創業潮中，00后和90后、80后的創始人起點都一樣，甚至前者優勢更大。因為很多事物太新了，原有經驗無法直接復用，而00后沒有包袱，對新事物的認知觸感更多。

“問題在于，這些公司中哪些能夠存活下來，又有哪些創始人能真正成為億萬富翁，而不僅僅停留在紙面上。”投資人提醒道。

綜合整理自中國科學網、參考消息、鈦媒體、華爾街見聞等

版權說明

新民周刊所有平臺稿件， 未經正式授權一律不得轉載、出版、改編，或進行與新民周刊版權相關的其他行為，違者必究！