記者丨江一葦 殷千益

編輯丨譚璐

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

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

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

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

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

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

AI時(shí)代“造神”，一切皆有可能

排查代碼

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

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

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

其價(jià)值在于，用AI寫代碼，無法知道代碼何時(shí)存在漏洞。

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

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

圖為洪樂潼

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

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

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

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

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

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

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

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

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

師徒聯(lián)手

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

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

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

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

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

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

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

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

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

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

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

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

“我并非為了金錢而來?！毙∫敖忉尩?，自己曾拒絕過多家大型人工智能公司的高薪酬邀約。

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

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

洪樂潼的號(hào)召力不止于此。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

洪樂潼的求學(xué)經(jīng)歷

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

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

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

圖片來源：網(wǎng)絡(luò)

出品丨21財(cái)經(jīng)客戶端21世紀(jì)商業(yè)評論