當(dāng)00后女博士用數(shù)學(xué)重構(gòu)AI規(guī)則

00后、斯坦福、女博士、5000萬融資、3-5億估值——這些標(biāo)簽使洪樂潼 (Carina Hong) 和她的數(shù)學(xué)AI初創(chuàng)公司Axiom Quant成為國內(nèi)外投資圈焦點(diǎn)。

6月3日，《The Information》報(bào)道稱這位從廣州走出的數(shù)學(xué)天才、斯坦福大學(xué)數(shù)學(xué)與法律雙博士在讀生，正為她的初創(chuàng)公司Axiom Quant籌集約5000萬美元的融資，公司估值預(yù)計(jì)達(dá)到3-5億美元，B Capital（波士頓投資）可能領(lǐng)投。

值得關(guān)注的是，Axiom Quant成立僅一個(gè)月，目前0產(chǎn)品0用戶，卻鎖定對沖基金、量化交易員等高端客戶，宣稱要用AI解決復(fù)雜數(shù)學(xué)證明的難題，為金融公司提供高效的量化解決方案。

而這位00后創(chuàng)始人洪樂潼的履歷更加令人驚嘆：三年內(nèi)完成MIT（麻省理工）的數(shù)學(xué)與物理本科雙學(xué)位，一年斬獲牛津大學(xué)神經(jīng)科學(xué)碩士，現(xiàn)于斯坦福大學(xué)攻讀數(shù)學(xué)和法學(xué)跨學(xué)科博士，其強(qiáng)悍的學(xué)術(shù)背景引發(fā)業(yè)界高度關(guān)注。

從廣州奧數(shù)天才少女到跨界學(xué)術(shù)先鋒

2001年廣州梅雨季，洪樂潼出生于天河區(qū)的一家小醫(yī)院。作為未受過高等教育的普通務(wù)工者，她的父母從潮汕老家來羊城打拼，在城市中維系著平凡的生計(jì)。盡管家庭經(jīng)濟(jì)條件有限，母親仍全力支持女兒的學(xué)業(yè)發(fā)展，為她報(bào)名了免費(fèi)的奧數(shù)培訓(xùn)項(xiàng)目——這成為了洪樂潼數(shù)學(xué)興趣萌芽的起點(diǎn)。

初中時(shí)，MIT已成為洪樂潼的目標(biāo)院校，她常于草稿紙邊緣書寫校名“MIT”以自勉。憑借突出的數(shù)學(xué)天賦與刻苦學(xué)習(xí)，她提前被華南師大附中廣東奧校高中數(shù)學(xué)特長班、大學(xué)先修實(shí)驗(yàn)班錄取。2017年，她入選廣東省中學(xué)生英才計(jì)劃，師從中山大學(xué)與中山醫(yī)學(xué)院雙聘教授王學(xué)欽，在“華羅庚金杯”數(shù)學(xué)競賽、全國高中數(shù)學(xué)聯(lián)賽等賽事中成績優(yōu)異。

在廣州數(shù)學(xué)會主辦的省隊(duì)選拔現(xiàn)場，1000名考生與家長擠滿禮堂。這場實(shí)行淘汰制的免費(fèi)選拔最終僅錄取25人，每周都有選手因成績落選離場。洪樂潼最終入選了CMO省隊(duì)，成為25人中僅有的4名女生。這時(shí)，她的父母清晰地認(rèn)識到女兒的數(shù)學(xué)天賦，也萌生了支持她邁向更廣闊平臺的想法。

高三那年，洪樂潼向麻省理工學(xué)院（MIT）遞交了申請，正式向多年來魂?duì)繅衾@的學(xué)術(shù)殿堂發(fā)起沖刺。出身普通工薪家庭的她，既沒有顯赫的身份背景，也缺乏廣泛的人脈資源，但憑借著對自己近乎嚴(yán)苛的要求，在數(shù)學(xué)領(lǐng)域深耕，將競賽佳績、科研成果和學(xué)術(shù)潛力匯聚成近乎完美的申請材料。最終，這份優(yōu)秀的答卷成功叩開了MIT的大門。

進(jìn)入這所頂級學(xué)府后，她本意向量化金融領(lǐng)域發(fā)展，卻因?qū)?shù)學(xué)的熱愛在學(xué)術(shù)領(lǐng)域不斷深耕，取得了許多數(shù)學(xué)獎(jiǎng)項(xiàng)的成就，如美國女性數(shù)學(xué)家協(xié)會每年只給一名數(shù)學(xué)專業(yè)的女性頒發(fā)的Alice T. Schafer Prize、美國數(shù)學(xué)協(xié)會和相關(guān)機(jī)構(gòu)聯(lián)合頒發(fā)的Frank Brennie Morgan Prize等。洪樂潼總計(jì)發(fā)表過10篇學(xué)術(shù)論文，其中9篇是在大學(xué)時(shí)期發(fā)表，研究覆蓋數(shù)論、彈出棧排序算法、應(yīng)用數(shù)學(xué)、組合學(xué)及代數(shù)幾何等前沿領(lǐng)域。

同時(shí)，她擔(dān)任學(xué)生組織要職，并在國際會議上演講，履歷堪稱完美。她說：“在知識的世界里，我得以環(huán)游世界。”她在推特（X）上的座右銘 “熱愛數(shù)學(xué)就如同看見上帝的面容”也映射出她對學(xué)術(shù)的狂熱。

出于對本科專業(yè)數(shù)學(xué)、物理之外科學(xué)領(lǐng)域的興趣，洪樂潼在斬獲牛津大學(xué)羅德獎(jiǎng)學(xué)金后，毅然決定赴英國攻讀神經(jīng)科學(xué)碩士學(xué)位。在此期間，她曾在倫敦大學(xué)學(xué)院蓋茨比計(jì)算單位作為第一作者開展深度學(xué)習(xí)研究項(xiàng)目，正式踏入AI領(lǐng)域。

當(dāng)她在神經(jīng)科學(xué)領(lǐng)域完成深造后，又因?qū)茖W(xué)之外人文學(xué)科的強(qiáng)烈好奇，成為斯坦福大學(xué)Knight-Hennessy學(xué)者，開啟了數(shù)學(xué)與法律雙學(xué)科博士項(xiàng)目的研究。在這一系列跨界探索中，唯有對數(shù)學(xué)的熱愛始終如一地貫穿其學(xué)術(shù)軌跡，成為她學(xué)術(shù)生涯中不變的底色：“我始終以研究者的身份自居，渴望攻克真正的技術(shù)難題。”她關(guān)注AI與數(shù)學(xué)的互動邊界：“人工智能與數(shù)學(xué)家的互動未來會走向何方？應(yīng)用科學(xué)家又將如何與人工智能數(shù)學(xué)家協(xié)作？這些都是我希望在后續(xù)研究中著力探索的難題。”

公司技術(shù)方向：用形式化數(shù)學(xué)證明，重構(gòu)AI高等數(shù)學(xué)求解能力

斯坦福大學(xué)2025年人工智能指數(shù)報(bào)告顯示，人工智能系統(tǒng)在GSM8K和MATH等主要評估高中和大學(xué)數(shù)學(xué)水平的基準(zhǔn)測試中，表現(xiàn)已接近完美。然而，在高等數(shù)學(xué)基準(zhǔn)測試發(fā)布時(shí)，Gemini 1.5 Pro僅解決了2%的高等數(shù)學(xué)問題，OpenAI的o3模型也僅獲得25.2%的分?jǐn)?shù)。前沿?cái)?shù)學(xué)(FrontierMath)高等數(shù)學(xué)基準(zhǔn)測試的創(chuàng)建者們希望，在未來幾年里，該基準(zhǔn)測試能夠不斷帶來挑戰(zhàn)，促使尖端AI系統(tǒng)升級。

洪樂潼的Axiom Quant正是為了解決AI在高等數(shù)學(xué)問題解答與證明上的缺陷。今年4月，在一場關(guān)于超級人工智能的討論會上，洪樂潼指出了現(xiàn)有AI模型的不足：“它們在證明方面的表現(xiàn)仍然相當(dāng)糟糕。”她表示，盡管大語言模型可能在美國數(shù)學(xué)邀請賽中得到96%的分?jǐn)?shù)，但是如果要求它們展示證明過程，它們的最終得分就會降到5%。洪樂潼認(rèn)為人工智能必須學(xué)會證明，而不僅僅是回答問題——這樣才能使人類信任這些運(yùn)算系統(tǒng)的結(jié)果。

Axiom Quant定位“數(shù)學(xué)AI”，讓AI“真正理解數(shù)學(xué)本質(zhì)和邏輯結(jié)構(gòu)”，其核心理念是通過形式化數(shù)學(xué)證明訓(xùn)練大模型，以實(shí)現(xiàn)類似數(shù)學(xué)家的證明過程。具體而言，Axiom的訓(xùn)練數(shù)據(jù)來自已被證明的定理和公認(rèn)的數(shù)學(xué)公理，通過嚴(yán)密的邏輯推理驗(yàn)證數(shù)學(xué)命題的真?zhèn)巍＿@一技術(shù)路徑直指對沖基金等機(jī)構(gòu)的痛點(diǎn)——它們需要高效、高可信度的量化模型，而傳統(tǒng)AI無法滿足其嚴(yán)謹(jǐn)性的要求。

Axiom Quant譯為“公理量化”。洪樂潼曾在2024年8月的CGTN廣播采訪中提到數(shù)學(xué)界新納入的公理——“數(shù)學(xué)潛力在不同群體中均等分布，與地理、人口統(tǒng)計(jì)及經(jīng)濟(jì)界限無關(guān)。”這一表述打破了傳統(tǒng)認(rèn)知中背景條件對數(shù)學(xué)能力的預(yù)設(shè)，將“公平性”納入數(shù)學(xué)公理體系的底層邏輯，也同樣與洪樂潼從廣州走向世界的經(jīng)歷相互呼應(yīng)。“公理”作為數(shù)學(xué)理論的基石，在其學(xué)術(shù)路徑中起到了至關(guān)重要的作用，也體現(xiàn)了Axiom Quant讓AI數(shù)學(xué)證明規(guī)范化與社會科學(xué)問題數(shù)學(xué)化的愿景。

融資爭議與行業(yè)邏輯：0產(chǎn)品為何能獲高估值？

據(jù)6月3日的報(bào)道，Axiom Quant目前正在洽談一輪融資，目標(biāo)融資金額為5000萬美元，公司估值預(yù)計(jì)在3億-5億美元之間。知情人士透露，美國知名風(fēng)險(xiǎn)投資機(jī)構(gòu)B Capital（波士頓投資）正在商討領(lǐng)投此輪融資，但交易尚未最終敲定，具體條款或有變化。此前，B Capital曾投資多家AI初創(chuàng)企業(yè)，如Apptronik，Icertis，Lambda等。

有意思的是，洪樂潼于6月6日在知乎平臺上回應(yīng)稱“The Information泄露了我們（并不準(zhǔn)確）的融資信息”，否認(rèn)相關(guān)報(bào)道——盡管她并未在海外自媒體賬號發(fā)布相關(guān)言論。與此同時(shí)，Axiom Quant正在積極招攬國內(nèi)外人才。洪樂潼的領(lǐng)英及知乎賬號都已發(fā)布招聘信息，積極組建團(tuán)隊(duì)，為后續(xù)研發(fā)做準(zhǔn)備。

那么，一家尚無產(chǎn)品的AI初創(chuàng)公司為何能獲得如此高的估值和融資額？業(yè)內(nèi)分析認(rèn)為，關(guān)鍵在于創(chuàng)始人洪樂潼的個(gè)人實(shí)力與數(shù)學(xué)AI在金融和科研等高端應(yīng)用場景中的長遠(yuǎn)潛力。

正如雷軍所言，投資，“人靠譜比什么都重要。”洪樂潼的學(xué)術(shù)履歷堪稱傳奇：MIT、牛津、斯坦福的教育經(jīng)歷，24歲卻已發(fā)表10篇前沿學(xué)術(shù)論文的能力，以及數(shù)學(xué)奧賽、各類獎(jiǎng)項(xiàng)和獎(jiǎng)學(xué)金的殊榮，使她在投資人眼中極具吸引力。

Axiom Quant在AI數(shù)學(xué)垂直領(lǐng)域的聚焦，可能也是投資人愿意為之買單的關(guān)鍵。其一，這類由學(xué)術(shù)派年輕人主導(dǎo)的項(xiàng)目近年來備受資本關(guān)注；其二，當(dāng)前對沖基金和量化交易機(jī)構(gòu)對數(shù)學(xué)模型的準(zhǔn)確性和可靠性要求極高，而現(xiàn)有通用模型在復(fù)雜數(shù)學(xué)理論上仍存在不足，Axiom的定位恰好滿足了這個(gè)市場需要。

行業(yè)趨勢：從通用大模型到嚴(yán)謹(jǐn)邏輯主義AI

當(dāng)前AI領(lǐng)域正分化出兩條路徑：OpenAI等大廠聚焦通用模型，而Axiom、Harmonic等初創(chuàng)公司深耕垂直場景。資本市場對“高可信度AI”和具備多步驟邏輯推理能力的專業(yè)應(yīng)用模型需求激增。一方面，OpenAI、谷歌等大廠的通用大語言模型在數(shù)學(xué)推理和嚴(yán)謹(jǐn)證明方面依然存在漏洞，無法保證答案的準(zhǔn)確性。另一方面，新一代細(xì)分領(lǐng)域?qū)Ｓ媚Ｐ驼卺绕穑绶▏_源公司Mistral AI推出的專注數(shù)學(xué)推理AI MathΣtral，深度求索（Deepseek）發(fā)布強(qiáng)調(diào)推理能力的模型Deepseek-R1，Google在科學(xué)計(jì)算和算法方面獨(dú)具優(yōu)勢的Deepmind。這些AI大模型都會與Axiom Quant形成差異化競爭。

盡管目前市場上缺乏既能正確解答高等數(shù)學(xué)問題又能嚴(yán)謹(jǐn)證明邏輯的AI大模型，但數(shù)學(xué)AI領(lǐng)域仍面臨著不小的競爭壓力。比如，由美國券商Robinhood 的CEO Vlad Tenev于2023年創(chuàng)辦的數(shù)學(xué)AI初創(chuàng)公司Harmonic也同樣聚焦讓其AI用嚴(yán)謹(jǐn)邏輯和數(shù)學(xué)計(jì)算解決商業(yè)公司的市場分析和量化難題。Harmonic首輪融資7500萬美元，估值3.25億美元，投資方也包括知名投資公司Sequoia Capital (紅杉資本)，Axiom Quant的出現(xiàn)會與其直接對標(biāo)。

于中國科創(chuàng)圈而言，洪樂潼的創(chuàng)業(yè)模式提供了新的啟示。她將純粹的學(xué)術(shù)訓(xùn)練與前沿的AI創(chuàng)新結(jié)合，體現(xiàn)出對技術(shù)深度與應(yīng)用場景的雙重重視。在國內(nèi)，不論是深度求索這樣的AI獨(dú)角獸還是大廠高管們各自建立的垂直領(lǐng)域AI初創(chuàng)公司，都開始突出模型的推理能力和場景應(yīng)用，顯示出產(chǎn)業(yè)界正在重新評估自主創(chuàng)新的潛力。洪樂潼所代表的跨界思路，以及資本對更加嚴(yán)謹(jǐn)?shù)腁I產(chǎn)生的濃厚興趣，都可能促使國內(nèi)AI創(chuàng)業(yè)者在細(xì)分賽道，如高端金融科技與科學(xué)計(jì)算領(lǐng)域，考慮引入更嚴(yán)密的數(shù)學(xué)推理方法。

00后AI創(chuàng)業(yè)軍團(tuán)崛起

洪樂潼并非是孤身在闖AI創(chuàng)業(yè)賽道的00后。她的MIT師兄Michael Truell和他的朋友們創(chuàng)立的Anysphere，本月剛完成新一輪9億美元融資（約合人民幣65億元）,公司估值飆升至99億美元（約合人民幣710億元），一躍成為今年最炙手可熱的AI編程獨(dú)角獸企業(yè)。Anysphere開發(fā)的AI Cursor是編程輔助工具，利用AI技術(shù)幫助開發(fā)者更高效地編寫代碼。

四個(gè)月前，由三位00后創(chuàng)立的AI招聘網(wǎng)站Mercor也宣布完成1億美元的B輪融資，公司估值達(dá)20億美元（約合人民幣140億元）。短短兩年，Mercor憑借其獨(dú)特的商業(yè)模式和出色的運(yùn)營，成長為百億級別的獨(dú)角獸。

同為00后的楊豐瑜在耶魯博士畢業(yè)后選擇回國創(chuàng)業(yè)，在去年成立了具身智能公司優(yōu)理奇（UniX AI），5個(gè)月內(nèi)便完成了一款輪式人形機(jī)器人的研發(fā)制造，已于上個(gè)月完成數(shù)億元的天使輪及天使+輪融資。

這些00后創(chuàng)業(yè)者們的成功絕非偶然。作為互聯(lián)網(wǎng)原住民，他們自幼接觸智能設(shè)備，對新技術(shù)有著與生俱來的敏感度和接納能力，能夠迅速掌握并運(yùn)用最新的AI技術(shù)，將其轉(zhuǎn)化為實(shí)際的商業(yè)應(yīng)用。同時(shí)，AI技術(shù)的快速迭代與工具開源化，極大地降低了創(chuàng)業(yè)門檻，小團(tuán)隊(duì)甚至個(gè)人開發(fā)者都能以較低的預(yù)算實(shí)現(xiàn)技術(shù)落地。這使得00后創(chuàng)業(yè)者們能夠更加便捷地、快速地搭建起自己的創(chuàng)業(yè)項(xiàng)目。

結(jié)語：當(dāng)00后博士用數(shù)學(xué)重構(gòu)AI規(guī)則

Axiom Quant提出的“數(shù)學(xué)AI路線”實(shí)際上是一場技術(shù)冒險(xiǎn)：若能成功落地，它有望為對沖基金等場景提供顛覆性工具，也可能推動AI參與科研突破。正如黃仁勛所言，“未來十年，AI將成為無所不在的社會基礎(chǔ)設(shè)施。”在這場浪潮中，00后的創(chuàng)業(yè)者們也逐漸站在風(fēng)口上，洪樂潼和她的同行們正在改寫游戲規(guī)則。從“0產(chǎn)品0用戶”到商業(yè)落地，Axiom的下一步不僅關(guān)乎一家公司的成敗，更將檢驗(yàn)“嚴(yán)謹(jǐn)邏輯主義”AI的可行性與科技價(jià)值——這場冒險(xiǎn)，才剛剛開始。