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

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

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

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

　　本科期間的論文已經發(fā)表在《美國數(shù)學會會報》、《拉馬努金期刊》等刊物。2021年獲得牛津大學羅德獎學金，成為僅有的4名中國獲獎者之一。

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

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

　　Axiom旨在為對沖基金、量化交易機構等客戶提供復雜數(shù)學問題的快速解決方案。

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

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

　　Axiom項目剛剛建立就獲得了高度關注，當前，全球都在關注洪樂潼這位在學術上取得成功的博士生接下來將做出怎樣的產品。