智東西
編譯 金碧輝
編輯 程茜

智東西6月4日消息，據外媒The Information昨天報道，中國籍學者、斯坦福大學數學博士生洪樂潼（Carina Hong）正在與投資方洽談，為其新創立的一家專注于數學解題、開發智能工作輔助軟件的AI公司Axiom融資5000萬美元（折合人民幣約為3.60億元），目標估值高達3億至5億美元（折合人民幣約為21億-35億元）。

據悉，B Capital有望領投本輪融資。該機構是一家專注于成長階段投資的知名風投機構，在AI領域布局活躍，曾在2023年先后投資了AI搜索新銳Glean和對話式AI平臺Perplexity等明星企業。

▲Axiom的創始人洪樂潼

Axiom專注于開發基于形式化數學證明的AI模型，旨在為對沖基金、量化交易機構等客戶提供復雜數學問題的快速解決方案。當前OpenAI、谷歌等發布的模型在數學領域表現不穩定，洪樂潼透露，Axiom的技術將專注于“嚴格證明”，而非僅提供答案。

一、谷歌AI解幾何達IMO金牌水平卻不會組合數學，斯坦福數學博士創業

Axiom專注于開發基于形式化數學證明的AI模型，其技術路線強調“嚴格證明”。這意味著模型不只是簡單給出答案，而是通過嚴謹邏輯推導得出結論，有望彌補主流AI在數學證明環節的缺失。

目前，OpenAI、谷歌的模型在數學領域存在諸多不足。

▲洪樂潼在X平臺談OpenAI缺乏嚴格邏輯證明

在基礎數學問題上，此前大模型會受限于對數字token處理不當、上下文語境干擾等得出錯誤結論；在復雜數學證明方面，面對2024年國際數學奧林匹克競賽（IMO）基于證明的題目，頂級AI模型平均分最高不足5%，存在邏輯錯誤、缺乏創造力、評分失敗等問題，還常出現用未經證明假設、關鍵步驟敷衍、反復用同一錯誤策略等情況，即便谷歌的AI在其中達到銀牌甚至金牌水平，也無法解決組合數學問題；谷歌和OpenAI的模型還可能存在“背題”現象，在面對條件改變的相似數學題時，容易沿用舊解法得出錯誤答案。

▲谷歌的AI在2024年IMO比賽中相對于人類競爭對手的表現，獲得了總分42分中的28分，達到了與比賽中銀牌得主相同的水平

此外，在數學領域，當下的模型都無法解決組合數學問題。其作為在計算機科學、物理學、生物學等多領域有廣泛應用的一大數學分支，在金融科技領域有較高應用價值，能夠高效解決對沖基金等目標客戶面臨的離散優化問題，同時相比理論數學，組合數學算法可能更易轉化為高頻交易策略等可直接商業化的金融科技產品，或為初創公司提供清晰的盈利路徑。

而無法解決組合數學問題，會限制模型在相關領域對復雜問題的深入應用與解決，阻礙其對一些需要綜合多數學領域知識場景的理解與處理。例如在算法設計、統計力學等具體場景中，因缺乏組合數學能力，模型難以提供全面有效的解決方案。

據外媒消息，洪樂潼目前正在與投資方洽談Axiom的融資事項。Axiom的目標是用編程語言訓練AI掌握形式化證明，確保答案的正確性。

洪樂潼曾向投資者透露，Axiom的產品將服務于對沖基金和量化交易公司，這些機構需要快速解決與資產定價、股市預測相關的復雜數學問題。

據知情人士透露，Axiom本輪融資由B Capital主導，估值可能高達5億美元（折合人民幣約為36.1億元）。

與Axiom定位類似的一家創企，于2023年10月17日完成了7500萬美元融資（折合人民幣約5.39億元），估值達3.25億美元（折合人民幣約23.36億元），這家公司的創始人是Robinhood聯合創始人兼CEO弗拉基米爾?特涅夫（Vladimir Tenev）。

二、創始人三年拿下麻省理工學院雙學位，挑戰AI形式化證明難題

洪樂潼出生于中國廣州，自幼展現出數學天賦，通過參加IMO培訓接觸了全球數學家的思維方式。盡管父母未接受高等教育，她從小立志進入頂尖學府。經過激烈競爭，她考入麻省理工學院（MIT），用三年時間完成數學與物理雙學位，并榮獲2022年“女性數學協會Alice T.Schafer獎”和2023年“Morgan數學研究獎”。

在MIT期間，洪樂潼從最初的量化金融志向轉向基礎數學研究，但她的學術追求遠不止于此。獲得羅德獎學金后，她赴牛津大學攻讀神經科學，旨在“用數學坐標和生物醫學坐標構建科學空間”。此后她進入斯坦福大學攻讀數學博士與法學博士（JD），她的研究方向為組合數學（組合數學是數學的一個領域，主要涉及計算對象的組合數量），并已發表多篇相關論文，她形成了“數學-法律-生物”的三維知識體系，尤其關注合同法、反壟斷等具有數學邏輯的法學領域。

作為組合數學研究者，洪樂潼在數論、堆棧排序算法等領域發表多篇論文，但始終致力于解決“真正困難的技術問題”。如今，她將目光投向數學與深度學習的交叉領域，創立AI公司Axiom，試圖突破AI在形式化證明方面的瓶頸。

結語：專注數學問題解決，Axiom切入AI賽道，技術前景待考

目前，Axiom仍處于早期發展階段，尚未推出產品，其技術能否超越現有AI模型尚待驗證。但Axiom的出現，反映了AI在數學領域的持續探索和發展。在眾多AI公司競爭的大環境下，Axiom以專注數學問題解決的AI為切入點，試圖在市場中占據一席之地。

隨著AI技術的不斷進步，數學作為基礎學科，其與AI的結合將越來越緊密。無論是Axiom這樣的初創公司，還是OpenAI、谷歌等行業巨頭，都在不斷探索AI在數學領域的應用邊界，技術成熟度與商業化能力將決定Axiom能否在這一競爭中脫穎而出。未來，AI在數學領域能否取得更大突破，真正解決復雜的實際問題，值得我們持續關注。

來源：The Information、Forbes