“我熱衷于用AI來做數(shù)學(xué)?！焙闃蜂脴O快的語速，描述正在做的事情。

“數(shù)學(xué)怎么賺錢？我們從一開始就面臨這個挑戰(zhàn)。現(xiàn)在，商業(yè)信號已經(jīng)清晰很多，數(shù)學(xué)能創(chuàng)造價值，是因為它能自我驗證、自我檢查?！?/p>

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

這位數(shù)學(xué)才俊，畢業(yè)于麻省理工學(xué)院和牛津大學(xué)，從斯坦福輟學(xué)創(chuàng)業(yè)，數(shù)周前剛拿下2億美元融資，估值達(dá)16億美元，約合人民幣110億元。

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

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

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

排查代碼

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

公司取名Axiom（公理），源自數(shù)學(xué)術(shù)語，目標(biāo)是創(chuàng)造“AI數(shù)學(xué)家”。

一群數(shù)學(xué)家在搗鼓的業(yè)務(wù)，看似抽象，簡而言之，就是打造能自動驗證計算機代碼的AI系統(tǒng)，原理類似于數(shù)學(xué)家證明復(fù)雜數(shù)學(xué)難題。

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

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

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

在她的設(shè)想中，未來Axiom的產(chǎn)品，可服務(wù)于對沖基金和量化交易公司，可快速解決與資產(chǎn)定價、股市預(yù)測相關(guān)的復(fù)雜數(shù)學(xué)問題。

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

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

“Axiom很小，卻很強。我們在探索各種更聰明的技術(shù)來降低成本，資本效率很高?！彼嘎?，融資到手后，一部分是算力成本，一部分會花在招聘上。

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

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

其競爭對手Harmonic，不僅能攻克數(shù)學(xué)難題，在代碼編寫和芯片設(shè)計領(lǐng)域也展現(xiàn)出潛力。最新估值達(dá)14.5億美元，英偉達(dá)、紅杉資本、瑞比特資本等都是股東。

洪樂潼并不擔(dān)心。

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

師徒聯(lián)手

洪樂潼的創(chuàng)業(yè)，始于一次咖啡館中的閑聊。

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

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

不久，洪樂潼退學(xué)創(chuàng)業(yè)，Shubho則成為Axiom第一位成員，現(xiàn)任CTO。

洪樂潼拉來的首位重磅業(yè)界大佬，是57歲的數(shù)學(xué)泰斗小野?。↘en Ono）。

他是模形式領(lǐng)域的頂尖學(xué)者、美國數(shù)學(xué)學(xué)會前副會長，拿過古根海姆獎、斯隆獎等榮譽，指導(dǎo)過十位摩根獎得主。

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

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

師生關(guān)系延續(xù)至今，角色卻已不同。

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

其職位是創(chuàng)始數(shù)學(xué)家，輿論稱這是“數(shù)學(xué)國家隊級別的倒貼”。

小野健表示，促使他加入Axiom的動機是好奇心和學(xué)術(shù)探索，而非經(jīng)濟利益。

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

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

“如果我的猜想能被機器在3天內(nèi)推廣到10個維度，我愿意當(dāng)一個‘標(biāo)注工’”。

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

短時間內(nèi)，她組建了由17名頂尖研究人員組成的團隊，核心科學(xué)家Fran?ois Charton，是率先將Transformer模型引入數(shù)學(xué)領(lǐng)域的先驅(qū)之一。

“很多人來這里，是為了專注做技術(shù)，而不是應(yīng)付一般的公司文化或人際問題?！?/p>

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

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

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

數(shù)學(xué)真美

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

2001年，她出生于廣州市天河區(qū)，曾就讀于華南師大附中，數(shù)學(xué)天賦很早就顯露出來。

高一，她就在全國數(shù)學(xué)奧林匹克選拔中晉級，并在華羅庚杯、全國高中數(shù)學(xué)聯(lián)賽中屢獲佳績。

正是在奧數(shù)集訓(xùn)中，她對研究型數(shù)學(xué)產(chǎn)生了興趣。

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

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

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

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

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

于是，她下定決心，從斯坦福大學(xué)退學(xué)創(chuàng)業(yè)。

“我們在難題堆里，循環(huán)往復(fù)地經(jīng)歷著三種境界：苦苦求索、忘我拼搏，再到恍然大悟。而后，從心底說一聲‘?dāng)?shù)學(xué)真美’。”洪樂潼寫道。