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

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

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

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

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

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

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

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

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

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

教育從業者年度必讀丨《教育科技這一年：教育+AI新紀元》火熱銷售中，點擊小程序購買?

掃碼加入多知新書交流群，共同探討教育+AI的未來