25歲廣州女生，帶出110億獨角獸

數學天才，趕上風口。

撰文：江一葦 殷千益

來源：21世紀商業評論

“我熱衷于用AI來做數學。”洪樂潼用極快的語速，描述正在做的事情。

“數學怎么賺錢？我們從一開始就面臨這個挑戰。現在，商業信號已經清晰很多，數學能創造價值，是因為它能自我驗證、自我檢查。”

這位留著黑色長卷發的25歲廣州女生，身上疊滿buff。

這位數學才俊，畢業于麻省理工學院和牛津大學，從斯坦福輟學創業，數周前剛拿下2億美元融資，估值達16億美元，約合人民幣110億。

2025年，DeepSeek橫空出世，洪樂潼感慨，“一群理想主義者組成的優秀合作伙伴。他們執行力強，親力親為。最珍貴的，是那份理想與使命交織的信念。”

她說，DeepSeek的故事，也是她“想親自書寫的故事”。Axiom的創始團隊，同樣小而專注，有一半來自Meta AI研究院。

AI時代造神，一切皆有可能。

這里插播一條課程資訊：

報名「AI星球電商龍蝦·實戰營」，3天2晚，教會你用AI武裝自己，拉起一支屬于你的龍蝦軍團。本期實戰營集結四位在AI+電商領域真正打過仗、拿過結果的實戰派養蝦大神，帶你從“單人提效”到“組織復制”，再到“AI原生變現”，重構你的電商利潤模型。

同時，讓每一個電商老板，都能擁有100個不知疲倦的龍蝦員工；讓每一個運營操盤手，都能調動AI替他完成臟活累活；讓每一個草根創業者，都有機會用AI掀翻牌桌，重新定義游戲規則。

掃碼咨詢報名

（翻到底部了解詳情）

01

排查代碼

洪樂潼的辦公室位于硅谷的帕洛阿爾托（Palo Alto）大學大道，距離斯坦福大學不遠。2025年7月中旬，她和團隊才搬進這里。

公司取名Axiom（公理），源自數學術語，目標是創造“AI數學家”。

一群數學家在搗鼓的業務，看似抽象，簡而言之，就是打造能自動驗證計算機代碼的AI系統，原理類似于數學家證明復雜數學難題。

其價值在于，用AI寫代碼，無法知道代碼何時存在漏洞。

而Axiom的技術可以杜絕這類錯誤，借助Lean編程語言，研發出能夠從形式上證明答案是否正確的技術。

憑借這個想法，2024年8月，洪樂潼就拿下了960萬美元種子輪投資，大體約6600萬元人民幣。

在她的設想中，未來Axiom的產品，可服務于對沖基金和量化交易公司，可快速解決與資產定價、股市預測相關的復雜數學問題。

投資機構也看到其潛在價值，是提升AI生成代碼質量的有效途徑。

3月中旬，洪樂潼宣布，從Menlo Ventures, Greycroft and Madrona等風投公司，籌集到2億美元A輪融資，約合人民幣14億元。

“Axiom很小，卻很強。我們在探索各種更聰明的技術來降低成本，資本效率很高。”她透露，融資到手后，一部分是算力成本，一部分會花在招聘上。

公司使命是“從AI數學家起步，打造自我改進的超級智能推理器”

洪樂潼并非一枝獨秀，有人正在做著與她類似的研究，而且比她更早入局。

其競爭對手Harmonic，不僅能攻克數學難題，在代碼編寫和芯片設計領域也展現出潛力。最新估值達14.5億美元，英偉達、紅杉資本、瑞比特資本等都是股東。

洪樂潼并不擔心。

“我們主要競爭對手Harmonic花了兩年多，才達成第一個重要數學里程碑，我們快很多。”她透露，已經有不少意向客戶找上門。

02

師徒聯手

洪樂潼的創業，始于一次咖啡館中的閑聊。

2024年深秋，洪樂潼在斯坦福大學附近的咖啡館，遇見了時任Meta AI研究總監的Shubho Sengupta。

幾小時交談后，兩人決定一起用AI，解決世界上最棘手的數學問題。

不久，洪樂潼退學創業，Shubho則成為Axiom第一位成員，現任CTO。

洪樂潼拉來的首位重磅業界大佬，是57歲的數學泰斗小野健（Ken Ono）。

他是模形式領域的頂尖學者、美國數學學會前副會長，拿過古根海姆獎、斯隆獎等榮譽，指導過十位摩根獎得主。

他的身影也不只出現在課堂，曾經為美國奧運游泳隊提供數據分析，為電影《知無涯者》擔任顧問，甚至出演啤酒廣告，為了證明“64卡路里小于80卡路里”。

這位弗吉尼亞大學終身教授與洪樂潼結緣于麻省理工。彼時，大一新生洪樂潼，參與了小野健的數論項目。

師生關系延續至今，角色卻已不同。

2025年底，小野健做出一個震動學術界的決定：辭去教職，帶著全家搬到硅谷，加入一家只有15人的初創公司，工牌編號015。

其職位是創始數學家，輿論稱這是“數學國家隊級別的倒貼”。

小野健表示，促使他加入Axiom的動機是好奇心和學術探索，而非經濟利益。

“我并非為了金錢而來。”小野解釋道，自己曾拒絕過多家大型人工智能公司的高薪酬邀約。

他選擇幫自己的學生打工，不僅因為洪樂潼開出“不設教學、不設行政、100%科研”的合約。更關鍵的是，AI對他的“降維打擊”，讓他感到興奮。

“如果我的猜想能被機器在3天內推廣到10個維度，我愿意當一個‘標注工’”。

洪樂潼的號召力不止于此。

短時間內，她組建了由17名頂尖研究人員組成的團隊，核心科學家Fran?ois Charton，是率先將Transformer模型引入數學領域的先驅之一。

“很多人來這里，是為了專注做技術，而不是應付一般的公司文化或人際問題。”

洪在接受采訪時提到，研究者意識到，科學發現的時間線正被AI大幅壓縮，這種“硬核科技”的快速推進，比大廠的穩定更有吸引力。

洪樂潼相信，當問題足夠難的時候，人才密度會急劇上升。

目前，Axiom擁有20多名員工，洪樂潼忙著招兵買馬。她在海外社交平臺上頻繁發布招聘信息，尋找有志于“用AI做數學”的同路人。

03

數學真美

洪樂潼的開掛人生，其實是一個關于天賦與勤奮的故事。

2001年，她出生于廣州市天河區，曾就讀于華南師大附中，數學天賦很早就顯露出來。

高一，她就在全國數學奧林匹克選拔中晉級，并在華羅庚杯、全國高中數學聯賽中屢獲佳績。

正是在奧數集訓中，她對研究型數學產生了興趣。

“奧賽就像持續釋放多巴胺的快感，”她后來回憶道，而研究型數學像在撞墻，充滿痛苦與煎熬——我其實特別喜歡這種挑戰感。

2018年，17歲的洪樂潼考入麻省理工學院，攻讀數學和物理雙學位。

期間，她發表了9篇學術論文，并在2020年摘得北美數學本科生最高榮譽——摩根獎，以及愛麗絲·謝弗數學獎。

2021年底，她獲得羅德獎學金，前往牛津大學攻讀神經科學碩士。之后又進入斯坦福大學，攻讀數學與法學雙博士學位。

2024年某天晨跑時，她想起芯片巨頭AMD首席執行官蘇麗莎的忠告：要迎難而上。

于是，她下定決心，從斯坦福大學退學創業。

“我們在難題堆里，循環往復地經歷著三種境界：苦苦求索、忘我拼搏，再到恍然大悟。而后，從心底說一聲‘數學真美’。”洪樂潼寫道。

*免責聲明：本文章為作者獨立觀點，不代表i黑馬立場。

這里認真推薦你報名：

「AI星球電商龍蝦·實戰營」

3天2晚，教會你用AI武裝自己，拉起一支屬于你的龍蝦軍團。本期實戰營集結四位在AI+電商領域真正打過仗、拿過結果的實戰派養蝦大神，帶你從“單人提效”到“組織復制”，再到“AI原生變現”，重構你的電商利潤模型。

同時，讓每一個電商老板，都能擁有100個不知疲倦的龍蝦員工；讓每一個運營操盤手，都能調動AI替他完成臟活累活；讓每一個草根創業者，都有機會用AI掀翻牌桌，重新定義游戲規則。

掃碼咨詢報名

活動詳情如下