斯坦福華人數(shù)學(xué)博士AI創(chuàng)業(yè)，0產(chǎn)品0用戶，目標(biāo)估值3億美元。

　　方向瞄準(zhǔn)數(shù)學(xué)AI，要為量化和對(duì)沖基金公司提供可解決實(shí)際數(shù)學(xué)問題的模型能力。

　　來自中國(guó)廣州的洪樂潼(Carina Letong Hong)近期開啟創(chuàng)業(yè)，立馬一鳴驚人。

　　據(jù)The Information消息，她正在籌集目標(biāo)為5000萬美元的融資，公司估值預(yù)計(jì)3-5億美元——盡管目前公司還沒有開發(fā)出一款產(chǎn)品。

　　為啥能實(shí)現(xiàn)如此估值?

　　來看創(chuàng)始人兼CEO洪樂潼身上的標(biāo)簽：

　　3年時(shí)間完成麻省理工數(shù)學(xué)和物理本科雙修，然后拿下斯坦福數(shù)學(xué)博士錄取offer研究方向?yàn)閿?shù)論、組合學(xué)和概率學(xué)，同時(shí)也進(jìn)修了法律學(xué)課程。

　　本科期間的論文已經(jīng)發(fā)表在《美國(guó)數(shù)學(xué)會(huì)會(huì)報(bào)》、《拉馬努金期刊》等刊物。2021年獲得牛津大學(xué)羅德獎(jiǎng)學(xué)金，成為僅有的4名中國(guó)獲獎(jiǎng)?wù)咧��?hellip;…

　　如今，她開啟創(chuàng)業(yè)，希望利用編程語言來訓(xùn)練模型，使其能掌握形式化證明的“語言”。

　　0產(chǎn)品實(shí)現(xiàn)3-5億估值

　　洪樂潼創(chuàng)立的公司名叫Axiom(公理)，它的核心目標(biāo)是開發(fā)可以解決實(shí)際數(shù)學(xué)問題的AI。

　　目前已經(jīng)透露了一些具體技術(shù)方向——

　　訓(xùn)練數(shù)據(jù)來自形式化數(shù)學(xué)證明 (formal mathematical proofs)，通過使用已經(jīng)被證明的定理或者公認(rèn)的數(shù)學(xué)公理，來驗(yàn)證某個(gè)數(shù)學(xué)陳述的真實(shí)性。

　　換句話說，Axiom的AI將專注于數(shù)學(xué)領(lǐng)域，通過學(xué)習(xí)嚴(yán)格的邏輯推理和數(shù)學(xué)證明的過程，能夠像數(shù)學(xué)家一樣構(gòu)建和驗(yàn)證形式化證明，并保證結(jié)果的準(zhǔn)確性和嚴(yán)謹(jǐn)性。

　　產(chǎn)品將主要賣給對(duì)沖基金和量化交易公司，幫他們快速解決投資、股市等金融領(lǐng)域的復(fù)雜數(shù)學(xué)問題。

　　可以簡(jiǎn)單粗暴理解為，通過購(gòu)買Axiom的能力，對(duì)沖基金和量化交易公司可以不用自己費(fèi)力組建規(guī)模十分龐大的技術(shù)團(tuán)隊(duì)。

　　Axiom目前還沒有開發(fā)出一款產(chǎn)品。

　　但這并不影響投資人對(duì)它產(chǎn)生濃厚興趣。

　　據(jù)The Information消息，曾投出Perplexity等知名AI公司的B Capital正在就最新一輪目標(biāo)5000萬美元的融資展開談判，并可能領(lǐng)投本輪。

　　目前Axiom的估值預(yù)計(jì)在3-5億美元。

　　要知道，近期AI領(lǐng)域“0產(chǎn)品0用戶”就實(shí)現(xiàn)高額估值的初創(chuàng)公司，都出自Ilya、Mira Murati這種行業(yè)大佬之手。

　　Axiom也能在如此早期就被投資方看好，或許原因類似——創(chuàng)始人本人值得投。

　　“一路開掛”的廣州學(xué)霸

　　洪樂潼身上最鮮明的標(biāo)簽還是數(shù)學(xué)。

　　她本人透露，父母并沒有受過高等教育，但是她從小就對(duì)數(shù)學(xué)興趣濃厚。

　　她出生于中國(guó)廣州，通過一個(gè)免費(fèi)的奧林匹克數(shù)學(xué)項(xiàng)目開始接觸競(jìng)賽，“遇到了超級(jí)有趣的問題”。高中加入CMO省隊(duì)，經(jīng)過層層篩選，成為最后僅剩的4位女生之一。

　　后來，洪樂潼在羅斯計(jì)劃和斯坦福數(shù)學(xué)營(yíng)中迷上了勒讓德/雅可比符號(hào)和處理理論，并決心攻讀高等數(shù)學(xué)。

　　她將目標(biāo)早早地鎖定在麻省理工學(xué)院的數(shù)學(xué)和物理專業(yè)，只用3年時(shí)間就完成了兩個(gè)學(xué)位的課程，同時(shí)還廣泛學(xué)習(xí)了碩博數(shù)學(xué)課程。

　　3年時(shí)間，她還發(fā)表了9篇論文，涉及領(lǐng)域非常廣泛，包括模橢圓曲線與K3曲面的L函數(shù)、月光猜想、theta與劃分函數(shù)同余方程、堆棧排序算法，和二部圖邊染色的馬爾可夫鏈。

　　要知道，通常來說本科生是很難做出純數(shù)研究的。

　　值得一提的是，這些論文不少是和張盛桐(本科期間就登上數(shù)學(xué)四大頂刊)合作完成。

　　同時(shí)，她也拿獎(jiǎng)到手軟：先后獲得Schaefer數(shù)學(xué)獎(jiǎng)全美女生*，F(xiàn)rank和Brennie Morgan本科生杰出數(shù)學(xué)研究獎(jiǎng)，并被提名為2022年度中國(guó)羅德學(xué)者。

　　羅德獎(jiǎng)學(xué)金由牛津大學(xué)頒發(fā)，獲獎(jiǎng)學(xué)者將赴牛津大學(xué)攻讀研究生課程。洪樂潼也是憑借此機(jī)會(huì)學(xué)習(xí)了神經(jīng)科學(xué)的相關(guān)課程。

　　她表示，科學(xué)領(lǐng)域是一個(gè)相當(dāng)廣闊的世界，她希望理解數(shù)學(xué)的同時(shí)理解生物醫(yī)學(xué)。

　　博士申請(qǐng)上，據(jù)說她也是橫掃普林斯頓、斯坦福、哈佛、麻省理工……最終選擇了斯坦福大學(xué)，在主修數(shù)學(xué)的同時(shí)還輔修了法律學(xué)，可以說是興趣相當(dāng)廣泛。

　　在斯坦福期間，她發(fā)表了關(guān)于彈出堆棧排序算法等主題的研究成果，并且持續(xù)探索數(shù)論方面的工作。

　　并且涉獵了數(shù)學(xué)與深度學(xué)習(xí)相結(jié)合的跨學(xué)科研究，在Sainsbury Wellcome中心的蓋茨比部門進(jìn)行過人工智能和機(jī)器學(xué)習(xí)研究，當(dāng)時(shí)還滿懷憧憬地說道：

　　人工智能與科學(xué)家互動(dòng)的未來會(huì)是怎樣?應(yīng)用科學(xué)家如何與之互動(dòng)?這都是我接下來希望研究的課題。

　　值得一提的是，洪樂潼在一些報(bào)道中透露，她本來以為自己可能從事量化、金融相關(guān)領(lǐng)域的工作。但在MIT時(shí)，她逐漸發(fā)現(xiàn)數(shù)學(xué)研究真的很有意思。

　　如今來看，她現(xiàn)在選擇創(chuàng)業(yè)也是一種call back了。