很現實的問題
在AI時代，很多人都在討論一個問題：誰會成為下一個改變世界的年輕人。
最近，一個25歲的中國女孩開始頻繁出現在矽谷和科技投資圈的討論里。
她叫Hong Letong（洪樂潼）。
這個名字之所以突然火起來，並不是因為她進了哪家科技巨頭，而是因為她做了一件更大胆的事情，從斯坦福退學創業，然後把公司做到估值16億美元。
故事要從矽谷Palo Alto的一條街說起。
洪樂潼的辦公室就在University Avenue附近，離Stanford不遠。2025年7月，她和團隊剛剛搬進這裏。辦公室不大，但這裏正在做一件很「瘋狂」的事情：打造「AI數學家」。
她創辦的公司叫Axiom，這個名字來自數學里的一個詞——「公理」。
洪樂潼的目標也很直接：讓AI像數學家一樣思考、驗證和證明問題。
很多人可能會問，數學怎麼賺錢？
洪樂潼自己也坦白，這正是他們一開始面臨的最大挑戰。
但她現在越來越確定一件事：數學本身可以創造商業價值，因為數學可以「自我驗證、自我檢查」。
簡單來說，Axiom想解決一個AI時代最麻煩的問題。
現在的AI已經可以寫代碼，但沒人能完全保證它寫的代碼是對的。程序可能存在漏洞、錯誤甚至隱藏風險。
洪樂潼和團隊想做的，是讓AI不僅會寫代碼，還能像數學家證明定理一樣，證明「這段代碼是正確的」。
他們使用一種叫Lean的編程語言，通過形式化證明的方法，讓系統從邏輯上驗證計算結果是否正確。
聽起來很抽象，但如果這件事成功，影響會非常大。
金融、量化交易、軟體安全甚至晶元設計，都依賴複雜的數學模型。一旦模型出錯，損失可能是巨大的。
而Axiom希望讓AI自己檢查這些問題。
因此，他們的第一批潛在客戶並不是普通用戶，而是對沖基金和量化交易公司。
這些機構每天都在處理複雜數學問題，比如資產定價和市場預測。
如果AI能幫他們驗證模型正確性，價值會非常可觀。
這個想法很快吸引了資本。
2024年8月，洪樂潼剛提出這個概念，就拿到了960萬美元種子輪融資，約合人民幣6600萬元。
到了2025年3月，公司又宣布完成2億美元A輪融資，投資方包括Menlo Ventures、Greycroft和Madrona。
公司估值直接衝到16億美元，大約110億元人民幣。
而此時，公司員工只有20多人。
但團隊陣容卻異常豪華。
核心成員很多來自Meta AI研究院，還有人來自Google Brain（後來併入DeepMind）。
甚至有數學界的重量級人物加入。
其中最引人關注的一位，是美國著名數學家Ken Ono。
Ken Ono是模形式領域的頂級學者，美國數學學會前副會長，拿過Guggenheim獎和Sloan獎，還指導過多位數學大獎得主。
他原本是University of Virginia的終身教授。
但在2025年底，他做了一個讓學術界震驚的決定：辭去教職，搬到矽谷，加入一家只有15人的創業公司。
他的工牌編號是015。
Ken Ono說，他加入Axiom不是為了錢，而是因為好奇。
他認為AI正在徹底改變數學研究的方式。
如果機器能在三天內把一個數學猜想擴展到10個維度，他甚至願意當一個「標註工」。
洪樂潼與Ken Ono的關係其實可以追溯到更早。
當年在MIT讀書時，她曾參与Ken Ono的數論研究項目，兩人從那時就建立了師生關係。
幾年後，老師成了她公司的同事。
洪樂潼組建團隊的速度也很驚人。
短短時間，她就拉來了17名頂尖研究人員。
其中一位核心科學家François Charton，是最早把Transformer模型引入數學研究領域的科學家之一。
很多研究人員加入Axiom，並不是為了薪資，而是為了專註做技術。
洪樂潼曾說，現在很多科學家都意識到一件事：AI正在大幅壓縮科學發現的時間線。
與其在大公司做穩定工作，不如加入一個真正推進技術邊界的團隊。
洪樂潼相信，當問題足夠難時，人才密度會自然提高。
她現在也在不斷招人。
在社交平台上，她經常發布招聘信息，尋找願意一起「用AI做數學」的人。
如果只看創業經歷，洪樂潼已經足夠傳奇。
但她的學術背景更像是「開掛」。
她2001年出生在廣州天河區，從小就展現出極強的數學天賦。
中學時期，她就讀於華南師大附中，在數學競賽中多次獲獎。
高一時，她已經進入全國數學奧林匹克選拔。
2018年，17歲的洪樂潼考入MIT，學習數學和物理雙學位。
在MIT期間，她發表了9篇學術論文，並獲得北美本科數學最高榮譽——Morgan Prize。
同時她還拿到Alice T. Schafer數學獎。
後來，她獲得Rhodes Scholarship，前往Oxford攻讀神經科學碩士。
之後又進入Stanford，準備攻讀數學和法學雙博士。
如果按照傳統路徑，她幾乎已經鎖定頂級學術生涯。
但2024年的一次晨跑改變了她的決定。
那天，她突然想起AMD CEO Lisa Su曾說過的一句話：要主動迎接困難。
於是她決定退學創業。
洪樂潼後來寫過一句話，形容做數學的感覺。
她說，做數學就像經歷三個階段：苦苦求索、忘我拼搏、突然頓悟。
然後你會發自內心說一句話——
數學真美。
如今，25歲的洪樂潼已經帶著一家估值16億美元的公司，站在AI時代的前沿。
很多人說，AI正在改變世界。
而一些更年輕的人，已經開始親手參与這個改變。
至於Axiom能不能真的造出「AI數學家」，現在還沒有答案。
但至少，這個故事才剛剛開始。
來源：21世紀經濟報道、華人生活網
部分圖片來自網路
*以上內容系網友指點山河自行轉載自墨爾本微生活，該文僅代表原作者觀點和態度。yeeyi號系信息發布平台，僅提供信息存儲空間服務，不代表贊同其觀點和對其真實性負責。如果對文章或圖片/視頻版權有異議，請郵件至我們反饋，平台將會及時處理。