摘要: 10月15日消息,總部位于舊金山的人工智能初創公司 Axiom Math 獲得了由 B Capital 領投的 6400 萬美元種子輪融資,Greycroft、Madrona Venture Group和Menlo Ventures也參與
10月15日消息,總部位于舊金山的人工智能初創公司 Axiom Math 獲得了由 B Capital 領投的 6400 萬美元種子輪融資,Greycroft、Madrona Venture Group和Menlo Ventures也參與其中。此輪融資后,該公司的估值約為 3 億美元。
利用新融資,Axiom 計劃擴大其工程和研究人才,增強其推理引擎,并在密碼學、物理學和高級算法等領域的基準問題上測試其系統。
Axiom Math 創始人為洪樂潼(Carina Hong),她出生在中國廣州,畢業于斯坦福大學,擁有麻省理工學院和牛津大學的學位,她在麻省理工獲得數學和物理雙學位,然后拿下斯坦福數學博士錄取offer研究方向為數論、組合學和概率學,同時也進修了法律學課程。她本科期間的論文已經發表在《美國數學會會報》、《拉馬努金期刊》等刊物。2021年獲得牛津大學羅德獎學金,成為僅有的4名中國獲獎者之一。

洪樂潼組建了一支由經驗豐富的人工智能和數學專家組成的團隊,其中許多人來自 Meta 的 FAIR 實驗室。核心成員包括因解決百年數學難題而聞名的弗朗索瓦·查頓 (Francois Charton)、人工智能安全和公平性專家阿拉姆 ·馬科斯揚 (Aram Markosyan) 以及深度學習代碼生成領域的先驅休·萊瑟 (Hugh Leather) 。
在洪樂潼的帶領下,Axiom Math 正在開發一種人工智能系統,該系統不僅可以解決復雜的數學問題,還可以通過提出猜想(尚未得到證實的數學陳述)來產生新的數學知識。
該模型能夠生成嚴格的、逐步的證明,并可使用 Lean 和 Coq 等證明助手進行獨立驗證。該方法旨在將教科書和研究論文中的英語數學轉化為代碼,使人工智能能夠創建和驗證突破現有知識界限的新問題。
近日,洪樂潼在X平臺上發布了Axiom的宣傳視頻,稱“我們正在構建一個能夠自我進化的超級智能推理系統,從打造一個AI數學家開始。”在她看來,數學發現揭開萬物的奧秘,從人類大腦到浩瀚宇宙。歷史上的每次數學突破都成為下一發現的基石。而人工智能正徹底改變這場探索。
洪樂潼認為,數學如今能以指數級規模和空前速度展開,這場革命建立在三大支柱之上:
1、人工智能以難以想象的規模生成創意;
2、 編程語言將抽象概念轉化為現實;
3、 數學將萬物緊密相連。
由此形成的發現飛輪,讓每個突破都能催生下一個飛躍。
而Axiom Math則組建了一支橫跨三大領域的頂尖團隊,希望實現:大規模同步訓練架構、將AI引入代碼生成,以及應用Transformer模型破解百年數學猜想。
研究人員和投資者都認為 Axiom 的目標極具說服力且鼓舞人心。
目前,Axiom 正在開發能夠發現和解決新數學問題的模型。研究人員還希望將他們的研究成果應用于金融、飛機設計、芯片設計和量化交易等領域。
除了純數學之外,Axiom 的人工智能工具正在金融、飛機和芯片設計以及量化交易等需要嚴格計算精度的領域進行實際應用測試。B Capital 合伙人 Yan-David Erlich 表示:“解決復雜的數學問題是許多人類發明的核心。”





















