廣東
記者丨江一葦 殷千益
編輯丨譚璐
“我熱衷于用AI來做數學。”洪樂潼用極快的語速，描述正在做的事情。
“數學怎么賺錢？我們從一開始就面臨這個挑戰?，F在，商業信號已經清晰很多，數學能創造價值，是因為它能自我驗證、自我檢查?！?/p>
這位留著黑色長卷發的25歲廣州女生，身上疊滿buff。
這位數學才俊，畢業于麻省理工學院和牛津大學，從斯坦福輟學創業，數周前剛拿下2億美元融資，估值達16億美元，約合人民幣110億。
2025年，DeepSeek橫空出世，洪樂潼感慨，“一群理想主義者組成的優秀合作伙伴。他們執行力強，親力親為。最珍貴的，是那份理想與使命交織的信念?！?/p>
她說，DeepSeek的故事，也是她“想親自書寫的故事”。Axiom的創始團隊，同樣小而專注，有一半來自Meta AI研究院。
AI時代“造神”，一切皆有可能
排查代碼
洪樂潼的辦公室位于硅谷的帕洛阿爾托（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很小，卻很強。我們在探索各種更聰明的技術來降低成本，資本效率很高?！彼嘎叮谫Y到手后，一部分是算力成本，一部分會花在招聘上。
公司使命是“從AI數學家起步，打造自我改進的超級智能推理器”
洪樂潼并非一枝獨秀，有人正在做著與她類似的研究，而且比她更早入局。
其競爭對手Harmonic，不僅能攻克數學難題，在代碼編寫和芯片設計領域也展現出潛力。最新估值達14.5億美元，英偉達、紅杉資本、瑞比特資本等都是股東。
洪樂潼并不擔心。
“我們主要競爭對手Harmonic花了兩年多，才達成第一個重要數學里程碑，我們快很多?！彼嘎叮呀浻胁簧僖庀蚩蛻粽疑祥T。
師徒聯手
洪樂潼的創業，始于一次咖啡館中的閑聊。
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模型引入數學領域的先驅之一。
“很多人來這里，是為了專注做技術，而不是應付一般的公司文化或人際問題?！?/p>
洪在接受采訪時提到，研究者意識到，科學發現的時間線正被AI大幅壓縮，這種“硬核科技”的快速推進，比大廠的穩定更有吸引力。
洪樂潼相信，當問題足夠難的時候，人才密度會急劇上升。
目前，Axiom擁有20多名員工，洪樂潼忙著招兵買馬。她在海外社交平臺上頻繁發布招聘信息，尋找有志于“用AI做數學”的同路人。
數學真美
洪樂潼的開掛人生，其實是一個關于天賦與勤奮的故事。
2001年，她出生于廣州市天河區，曾就讀于華南師大附中，數學天賦很早就顯露出來。
高一，她就在全國數學奧林匹克選拔中晉級，并在華羅庚杯、全國高中數學聯賽中屢獲佳績。
正是在奧數集訓中，她對研究型數學產生了興趣。
“奧賽就像持續釋放多巴胺的快感，”她后來回憶道，而研究型數學像在撞墻，充滿痛苦與煎熬——我其實特別喜歡這種挑戰感。
2018年，17歲的洪樂潼考入麻省理工學院，攻讀數學和物理雙學位。
期間，她發表了9篇學術論文，并在2020年摘得北美數學本科生最高榮譽——摩根獎，以及愛麗絲·謝弗數學獎。
2021年底，她獲得羅德獎學金，前往牛津大學攻讀神經科學碩士。之后又進入斯坦福大學，攻讀數學與法學雙博士學位。
洪樂潼的求學經歷
2024年某天晨跑時，她想起芯片巨頭AMD首席執行官蘇麗莎的忠告：要迎難而上。
于是，她下定決心，從斯坦福大學退學創業。
“我們在難題堆里，循環往復地經歷著三種境界：苦苦求索、忘我拼搏，再到恍然大悟。而后，從心底說一聲‘數學真美’?！焙闃蜂鼘懙馈?/p>
圖片來源：網絡
出品丨21財經客戶端21世紀商業評論
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
