從羅德學者到AI創業者：00後洪樂潼用AI證明數學_風聞

來源|中訪網

作者|一杭工作室

3年完成MIT數學與物理雙學位，2021年斬獲每年5萬英鎊的牛津大學羅德獎學金（當年全球僅4名中國學者獲此殊榮），4年後其創業項目Axiom估值約3億到5億美元——這些非凡成就的背後，是一位“00後”廣州女性：洪樂潼（Carina Hong）。

據The Information消息，斯坦福華人數學博士洪樂潼(Carina Hong)已開啓AI創業，她創辦了數學AI模型公司Axiom，該公司正在籌集目標為5000萬美元的融資，公司估值預計3-5億美元。Axiom旨在為對沖基金、量化交易機構等客户提供複雜數學問題的快速解決方案，核心目標是開發可以解決實際數學問題的AI。洪樂潼透露，Axiom的技術將專注於“嚴格證明”，而非僅提供答案。

值得注意的是，洪樂潼6月6日在知乎回應稱，“The Information泄露了我們（並不準確）的融資信息，這些媒體報道是未經我們允許的。”

儘管如此，早在今年3月和4月，她就已在知乎多個關於“AI交互數學”的話題下留言，公開招募AI數學領域人才。

公開資料顯示，洪樂潼是一名標準的00後，來自廣東省廣州市。洪樂潼的社交媒體主頁上寫着：to love math is to see the face of God，即“熱愛數學，就是看見上帝的面容。”

自幼年起，洪樂潼便展現出對數學的濃厚興趣。中學階段就讀於華南師範大學附屬中學，入選2017年廣東省中學生英才計劃，師從中山大學數學與計算科學學院和中山醫學院雙聘教授王學欽，並在"華羅庚金盃"數學競賽、全國高中數學聯賽等多項賽事中屢獲佳績。

2019年，洪樂潼進入美國麻省理工學院，主修數學與物理雙學位。本科期間，洪樂潼榮獲由女性數學協會每年頒發給全美一名本科女生的2022年度愛麗絲·T·謝弗獎，以及北美數學本科生最高榮譽——摩根獎，成為該獎項歷史上第五位女性得主。同時，她還擔任了校數學系學生會主席、第一代大學生聯盟的多元平等活動倡議委員會長、物理學生會學術發展部長與國際學生會財務部長。

2022年，洪樂潼懷揣羅德獎學金赴英國牛津大學攻讀神經科學碩士學位，期間同時在倫敦大學學院開展人工智能與機器學習研究，她曾表示：“探索人工智能與科學家的未來互動模式，將是我後續的重點研究方向。”2024年8月，洪樂潼進入斯坦福大學，同時攻讀數學博士與法學博士學位。

洪樂潼並非第一個切入AI創業賽道的00後，她的MIT同門師兄——Michael Truell創立的Anysphere最近完成新一輪9億美元融資（約合人民幣65億元），估值達90億美元（約合人民幣650億元），成為今年最火AI編程獨角獸。

而在兩個月前，AI招聘網站Mercor宣佈完成1億美元B輪融資，估值達到20億美元（約合人民幣145億元），公司創始人同樣是三位00後。大二那年，三人在宿舍裏創立Mercor，決定從哈佛及喬治敦大學退學全職創業。只用了兩年時間，公司一躍成為百億級別獨角獸。

在國內，AI領域同樣湧現出新生代創業者。具身智能公司UniX AI由2000年出生的楊豐瑜創立，他本科就讀於密歇根大學計算機專業，博士畢業於耶魯大學後回國創業，成為國內具身智能領域的重要力量。

正如英偉達CEO黃仁勳所言：“未來十年，AI將成為無所不在的社會基礎設施，融入每一個地區、行業和公司。”在這個浪潮中，洪樂潼和她的同行正以驚人的速度重塑AI的未來格局。