國(guó)慶假期，創(chuàng)投圈被一則融資消息徹底點(diǎn)燃：由潮汕00后天才少女洪樂(lè)潼創(chuàng)辦的Axiom Math正式完成首輪約4.6億人民幣融資，公司投后估值達(dá)20億人民幣。

這位年僅24歲，頭頂“麻省理工本科+牛津碩士+斯坦福博士”光環(huán)的年輕創(chuàng)業(yè)者，用不到1年的時(shí)間，再次書(shū)寫(xiě)AI時(shí)代的造富神話。

成立不到一年，10個(gè)人

拿下4.6億融資，估值20億

據(jù)投資界報(bào)道，近日，由00后華裔斯坦福博士洪樂(lè)潼創(chuàng)辦的Axiom Math正式完成首輪6400萬(wàn)美元（約合人民幣4.6億元）融資，Greycroft、Madrona和Menlo Ventures等機(jī)構(gòu)參與，投后估值3億美元（約合人民幣20億元）。

作為此次領(lǐng)投方，B Capital合伙人在官網(wǎng)中將洪樂(lè)潼稱作一個(gè)“推動(dòng)數(shù)學(xué)超級(jí)智能的人”，并稱贊她“以驚人的速度組建了一支人才密度極高的創(chuàng)始團(tuán)隊(duì)”。

據(jù)了解，Axiom成立于2025年3月，是一家定位于“數(shù)學(xué)AI”的創(chuàng)業(yè)公司，核心目標(biāo)是打造能解決實(shí)際數(shù)學(xué)問(wèn)題的人工智能系統(tǒng)。

這家嶄露頭角的AI公司旨在為對(duì)沖基金、量化交易機(jī)構(gòu)等客戶提供復(fù)雜數(shù)學(xué)問(wèn)題的快速解決方案。具體來(lái)看就是，Axiom的AI系統(tǒng)通過(guò)學(xué)習(xí)嚴(yán)格的邏輯推理和數(shù)學(xué)證明的過(guò)程，能夠像數(shù)學(xué)家一樣構(gòu)建和驗(yàn)證形式化證明，并保證結(jié)果的準(zhǔn)確性和嚴(yán)謹(jǐn)性。借助Axiom，金融機(jī)構(gòu)可無(wú)需耗費(fèi)大量人力搭建龐大技術(shù)團(tuán)隊(duì)，直接利用AI解決投資和股市中的復(fù)雜數(shù)學(xué)難題。這種“數(shù)學(xué)即服務(wù)”的模式，契合了當(dāng)前金融市場(chǎng)對(duì)高效智能化技術(shù)的強(qiáng)烈需求。這種創(chuàng)新的技術(shù)理念使得Axiom在眾多AI初創(chuàng)公司中脫穎而出。

值得注意的是，Axiom這家新興的AI公司只有10名全職人員，但這個(gè)小而精的團(tuán)隊(duì)成員個(gè)個(gè)都是行業(yè)頂尖：例如擔(dān)任CTO的Shubho Sengupta曾是Meta FAIR 團(tuán)隊(duì)負(fù)責(zé)人，曾開(kāi)發(fā)OpenGo和CrypTen；數(shù)學(xué)研究員Fran?ois Charton則在Meta負(fù)責(zé)過(guò)大語(yǔ)言模型在數(shù)學(xué)和理論物理學(xué)的研究，他在2019年就開(kāi)始探索Transformer在數(shù)學(xué)證明中的應(yīng)用；資深科學(xué)家Hugh Leather也是Meta前人工智能研究科學(xué)家，曾開(kāi)發(fā)過(guò)編譯器與 GPU 代碼生成的大語(yǔ)言模型。

Axiom核心員工中大多數(shù)來(lái)自Meta

早在今年6月，Axiom便被爆出正在正在與投資者洽談5000萬(wàn)美元（約合人民幣3.6億元）融資事宜，目標(biāo)估值達(dá)3億至5億美元（約合人民幣21億-35億元），盡管當(dāng)時(shí)這家初創(chuàng)公司尚未推出任何產(chǎn)品，0產(chǎn)品，0用戶。彼時(shí)，消息一出，立刻在硅谷和國(guó)內(nèi)創(chuàng)投圈刷屏，也讓作為Axiom創(chuàng)始人的洪樂(lè)潼在一夜間迅速爆火。

如今，隨著首輪融資正式出爐，也意味Axiom這家成立不足1年的公司正式躋身“資本競(jìng)速”賽道。

00后潮汕天才少女

從斯坦福退學(xué)創(chuàng)立Axiom Math

Axiom由00后洪樂(lè)潼（Carina Hong）締造。

據(jù)報(bào)道，洪樂(lè)潼出生于中國(guó)廣州，中學(xué)就讀于廣州名校華南師范附中，父母是土生土長(zhǎng)的潮汕人。

Axiom公司創(chuàng)辦人洪樂(lè)潼圖片來(lái)源：麻省理工學(xué)院

盡管父母未接受高等教育，但洪樂(lè)潼自幼卻展現(xiàn)超凡的出數(shù)學(xué)天賦。她是廣東奧數(shù)省隊(duì)僅有的四名女生之一，還多次在“華羅庚金杯”、全國(guó)高中數(shù)學(xué)聯(lián)賽中獲獎(jiǎng)。

高中畢業(yè)后，洪樂(lè)潼考入麻省理工學(xué)院，僅用三年時(shí)間便完成了數(shù)學(xué)與物理雙學(xué)位，期間發(fā)表9篇學(xué)術(shù)論文，涵蓋數(shù)論、組合學(xué)、代數(shù)幾何等純數(shù)學(xué)前沿領(lǐng)域，這在本科生中極為罕見(jiàn)。

同時(shí)，她也拿獎(jiǎng)到手軟：先是獲得Schafer數(shù)學(xué)卓越獎(jiǎng)，該獎(jiǎng)每年僅頒發(fā)給一名本科女生；后又獲得北美數(shù)學(xué)本科生的最高榮譽(yù)——摩根獎(jiǎng)，她是第五位獲此殊榮的女生。2021年底，洪樂(lè)潼獲得了極具競(jìng)爭(zhēng)力的羅德獎(jiǎng)學(xué)金，該獎(jiǎng)學(xué)金由牛津大學(xué)頒發(fā)，是世界上歷史最悠久、最負(fù)盛名的國(guó)際獎(jiǎng)學(xué)金項(xiàng)目之一，有“本科諾貝爾獎(jiǎng)”的美譽(yù)，獲獎(jiǎng)學(xué)者將赴牛津大學(xué)攻讀研究生課程。洪樂(lè)潼成為僅有的四名中國(guó)獲獎(jiǎng)?wù)咧弧?/p>

2022年，洪樂(lè)潼前往英國(guó)牛津大學(xué)學(xué)習(xí)神經(jīng)科學(xué)，獲得碩士學(xué)位。期間還在倫敦大學(xué)學(xué)院進(jìn)行人工智能和機(jī)器學(xué)習(xí)研究。到了2024年8月，洪樂(lè)潼又進(jìn)入斯坦福大學(xué)同時(shí)攻讀數(shù)學(xué)博士和法學(xué)學(xué)位，很快，還在博士就讀的她闖入了AI界。

頗為戲劇性的是，Axiom的誕生來(lái)自于一次咖啡館的交流。

2024年秋，仍在斯坦福大學(xué)攻讀博士的洪樂(lè)潼在學(xué)校附近的Verve Coffee Roasters咖啡館，偶然遇到了前Meta的AI研究員Shubho Sengupta，當(dāng)時(shí)Sengupta正在研究能編寫(xiě)軟件測(cè)試的大語(yǔ)言模型。

圖源：MIT News

當(dāng)時(shí)，洪樂(lè)潼和Shubho Sengupta暢談了幾個(gè)小時(shí)，兩人討論了各自研究領(lǐng)域的交叉點(diǎn)。在關(guān)于能否用AI解決復(fù)雜數(shù)學(xué)問(wèn)題這一話題上，他們一拍即合，隨即決定共同創(chuàng)業(yè)。

這次交流后不久，洪樂(lè)潼便從斯坦福退學(xué)，著手創(chuàng)辦Axiom，立志打造一款“AI數(shù)學(xué)家”。

2025 年 3 月，Axiom Math在舊金山正式成立。

近日，洪樂(lè)潼在X平臺(tái)上發(fā)布了Axiom的宣傳視頻，稱“我們正在打造一個(gè)能夠自我改進(jìn)的超級(jí)智能推理系統(tǒng)，起點(diǎn)是一個(gè)AI數(shù)學(xué)家?！眻D源：X@Carina Hong

在洪樂(lè)潼看來(lái)，數(shù)學(xué)是打造超級(jí)智能的完美試驗(yàn)場(chǎng)。Axiom的理念是將教科書(shū)、論文和期刊里的英文數(shù)學(xué)內(nèi)容轉(zhuǎn)化為程序化知識(shí)，這樣AI不僅可以解決復(fù)雜的數(shù)學(xué)問(wèn)題，還能通過(guò)嚴(yán)格驗(yàn)證來(lái)檢驗(yàn)解答。

未來(lái)，洪樂(lè)潼希望“AI數(shù)學(xué)家”甚至能夠提出全新的數(shù)學(xué)猜想。

文中所用圖片來(lái)源網(wǎng)絡(luò)

【編者聲明】

本公眾號(hào)部分素材來(lái)自網(wǎng)絡(luò)，版權(quán)歸原作者所有。編者收集整理，旨在與大家分享學(xué)習(xí)。如您認(rèn)為某些內(nèi)容侵犯您的權(quán)益，請(qǐng)及時(shí)告知，我們核實(shí)后將采取相應(yīng)措施。