斯坦福大學(xué)數(shù)學(xué)博士生聚焦AI數(shù)學(xué)領(lǐng)域創(chuàng)業(yè)，計(jì)劃融資5000萬美元

　　多知6月6日消息，據(jù)The Information消息，斯坦福華人數(shù)學(xué)博士洪樂潼(Carina Hong)開啟AI創(chuàng)業(yè)，她創(chuàng)辦了數(shù)學(xué)AI模型公司Axiom，該公司正在籌集目標(biāo)為5000萬美元的融資，公司估值預(yù)計(jì)3-5億美元。目前公司還沒有開發(fā)出一款產(chǎn)品。

　　洪樂潼個(gè)人知名度很高，她出生于中國廣州，用3年時(shí)間完成麻省理工數(shù)學(xué)和物理本科雙修，然后拿下斯坦福數(shù)學(xué)博士錄取offer研究方向?yàn)閿?shù)論、組合學(xué)和概率學(xué)，同時(shí)也進(jìn)修了法律學(xué)課程。

（Axiom公司創(chuàng)辦人洪樂潼，圖片來自麻省理工學(xué)院官網(wǎng)）

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

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

　　Axiom的核心目標(biāo)是開發(fā)可以解決實(shí)際數(shù)學(xué)問題的AI。根據(jù)透露，Axiom專注于開發(fā)基于形式化數(shù)學(xué)證明的AI模型，訓(xùn)練數(shù)據(jù)來自形式化數(shù)學(xué)證明 （formal mathematical proofs），通過使用已經(jīng)被證明的定理或者公認(rèn)的數(shù)學(xué)公理，來驗(yàn)證某個(gè)數(shù)學(xué)陳述的真實(shí)性。

　　Axiom旨在為對(duì)沖基金、量化交易機(jī)構(gòu)等客戶提供復(fù)雜數(shù)學(xué)問題的快速解決方案。

　　當(dāng)前OpenAI、谷歌等發(fā)布的模型在數(shù)學(xué)領(lǐng)域表現(xiàn)不穩(wěn)定，洪樂潼透露，Axiom的技術(shù)將專注于“嚴(yán)格證明”，而非僅提供答案。

　　據(jù)了解，起初，洪樂潼考慮從事量化金融行業(yè)。但在麻省理工學(xué)院學(xué)習(xí)期間，她意識(shí)到另一件事點(diǎn)燃了她的熱情：“數(shù)學(xué)研究真的很有趣。” 她的熱情得到了回報(bào)。2022年，她獲得了美國婦女?dāng)?shù)學(xué)協(xié)會(huì)頒發(fā)的享有盛譽(yù)的艾麗絲·T·謝弗獎(jiǎng)，該獎(jiǎng)項(xiàng)每年頒發(fā)給美國數(shù)學(xué)專業(yè)的頂尖女性。“那一刻，我感受到努力真的有回報(bào)，”她說。

　　Axiom項(xiàng)目剛剛建立就獲得了高度關(guān)注，當(dāng)前，全球都在關(guān)注洪樂潼這位在學(xué)術(shù)上取得成功的博士生接下來將做出怎樣的產(chǎn)品。