“數(shù)學如今能以指數(shù)級規(guī)模和空前速度展開”。
AI初創(chuàng)公司Axiom獲6400萬美元種子輪投資，CEO：我們起點是AI數(shù)學家
多知10月15日消息，總部位于舊金山的人工智能初創(chuàng)公司Axiom獲得了由 B Capital 領投的6400萬美元種子輪融資，Greycroft、Madrona Venture Group和Menlo Ventures也參與其中。此輪融資后，該公司的估值約為3億美元。
利用新融資，Axiom 計劃擴大其工程和研究人才，增強其推理引擎，并在密碼學、物理學和高級算法等領域的基準問題上測試其系統(tǒng)。
Axiom創(chuàng)始人為洪樂潼(Carina Hong)，她出生在中國廣州，畢業(yè)于斯坦福大學，擁有麻省理工學院和牛津大學的學位，她在麻省理工獲得數(shù)學和物理雙學位，然后拿下斯坦福數(shù)學博士錄取offer研究方向為數(shù)論、組合學和概率學，同時也進修了法律學課程。她本科期間的論文已經(jīng)發(fā)表在《美國數(shù)學會會報》、《拉馬努金期刊》等刊物。2021年獲得牛津大學羅德獎學金，成為僅有的4名中國獲獎者之一。
洪樂潼組建了一支由經(jīng)驗豐富的人工智能和數(shù)學專家組成的團隊，其中許多人來自 Meta 的 FAIR 實驗室。核心成員包括因解決百年數(shù)學難題而聞名的弗朗索瓦·查頓 (Francois Charton) 、人工智能安全和公平性專家阿拉姆 ·馬科斯揚 (Aram Markosyan ) 以及深度學習代碼生成領域的先驅(qū)休·萊瑟 (Hugh Leather) 。
在洪樂潼的帶領下，Axiom 正在開發(fā)一種人工智能系統(tǒng)，該系統(tǒng)不僅可以解決復雜的數(shù)學問題，還可以通過提出猜想(尚未得到證實的數(shù)學陳述)來產(chǎn)生新的數(shù)學知識。
該模型能夠生成嚴格的、逐步的證明，并可使用 Lean 和 Coq 等證明助手進行獨立驗證。該方法旨在將教科書和研究論文中的英語數(shù)學轉化為代碼，使人工智能能夠創(chuàng)建和驗證突破現(xiàn)有知識界限的新問題。
近日，洪樂潼在X平臺上發(fā)布了Axiom的宣傳視頻，稱“我們正在構建一個能夠自我進化的超級智能推理系統(tǒng)，從打造一個AI數(shù)學家開始。”在她看來，數(shù)學發(fā)現(xiàn)揭開萬物的奧秘，從人類大腦到浩瀚宇宙。歷史上的每次數(shù)學突破都成為下一發(fā)現(xiàn)的基石。而人工智能正徹底改變這場探索。
洪樂潼認為，數(shù)學如今能以指數(shù)級規(guī)模和空前速度展開，這場革命建立在三大支柱之上：
1、人工智能以難以想象的規(guī)模生成創(chuàng)意;
2、 編程語言將抽象概念轉化為現(xiàn)實;
3、 數(shù)學將萬物緊密相連。
由此形成的發(fā)現(xiàn)飛輪，讓每個突破都能催生下一個飛躍。
而Axiom 則組建了一支橫跨三大領域的頂尖團隊，希望實現(xiàn)：大規(guī)模同步訓練架構、將AI引入代碼生成，以及應用Transformer模型破解百年數(shù)學猜想。
研究人員和投資者都認為 Axiom 的目標極具說服力且鼓舞人心。
目前，Axiom 正在開發(fā)能夠發(fā)現(xiàn)和解決新數(shù)學問題的模型。研究人員還希望將他們的研究成果應用于金融、飛機設計、芯片設計和量化交易等領域。
除了純數(shù)學之外，Axiom 的人工智能工具正在金融、飛機和芯片設計以及量化交易等需要嚴格計算精度的領域進行實際應用測試。B Capital 合伙人 Yan-David Erlich 表示：“解決復雜的數(shù)學問題是許多人類發(fā)明的核心。”
今年9月下旬，Axiom受邀參加了Oberwolfach 數(shù)學人工智能研討會，該會議僅限受邀者參加，以促進杰出研究人員之間的合作而聞名于世。未來，Axiom希望看到人類數(shù)學家與人工智能數(shù)學家之間的合作。
可以看到，Axiom憑借其雄心勃勃的愿景、深厚的專業(yè)知識和大量資金，希望重新定義AI在科學發(fā)現(xiàn)和行業(yè)創(chuàng)新方面所能取得的成就。
相關閱讀：
