10月15日消息，總部位于舊金山的人工智能初創(chuàng)公司 Axiom Math 獲得了由 B Capital 領(lǐng)投的 6400 萬美元種子輪融資，Greycroft、Madrona Venture Group和Menlo Ventures也參與其中。此輪融資后，該公司的估值約為 3 億美元。

利用新融資，Axiom 計(jì)劃擴(kuò)大其工程和研究人才，增強(qiáng)其推理引擎，并在密碼學(xué)、物理學(xué)和高級算法等領(lǐng)域的基準(zhǔn)問題上測試其系統(tǒng)。

Axiom Math 創(chuàng)始人為洪樂潼(Carina Hong)，她出生在中國廣州，畢業(yè)于斯坦福大學(xué)，擁有麻省理工學(xué)院和牛津大學(xué)的學(xué)位，她在麻省理工獲得數(shù)學(xué)和物理雙學(xué)位，然后拿下斯坦福數(shù)學(xué)博士錄取offer研究方向?yàn)閿?shù)論、組合學(xué)和概率學(xué)，同時(shí)也進(jìn)修了法律學(xué)課程。她本科期間的論文已經(jīng)發(fā)表在《美國數(shù)學(xué)會(huì)會(huì)報(bào)》、《拉馬努金期刊》等刊物。2021年獲得牛津大學(xué)羅德獎(jiǎng)學(xué)金，成為僅有的4名中國獲獎(jiǎng)?wù)咧弧！　?/p>

洪樂潼組建了一支由經(jīng)驗(yàn)豐富的人工智能和數(shù)學(xué)專家組成的團(tuán)隊(duì)，其中許多人來自 Meta 的 FAIR 實(shí)驗(yàn)室。核心成員包括因解決百年數(shù)學(xué)難題而聞名的弗朗索瓦·查頓 (Francois Charton) 、人工智能安全和公平性專家阿拉姆 ·馬科斯揚(yáng) (Aram Markosyan ) 以及深度學(xué)習(xí)代碼生成領(lǐng)域的先驅(qū)休·萊瑟 (Hugh Leather) 。

在洪樂潼的帶領(lǐng)下，Axiom Math 正在開發(fā)一種人工智能系統(tǒng)，該系統(tǒng)不僅可以解決復(fù)雜的數(shù)學(xué)問題，還可以通過提出猜想(尚未得到證實(shí)的數(shù)學(xué)陳述)來產(chǎn)生新的數(shù)學(xué)知識。

該模型能夠生成嚴(yán)格的、逐步的證明，并可使用 Lean 和 Coq 等證明助手進(jìn)行獨(dú)立驗(yàn)證。該方法旨在將教科書和研究論文中的英語數(shù)學(xué)轉(zhuǎn)化為代碼，使人工智能能夠創(chuàng)建和驗(yàn)證突破現(xiàn)有知識界限的新問題。

近日，洪樂潼在X平臺(tái)上發(fā)布了Axiom的宣傳視頻，稱“我們正在構(gòu)建一個(gè)能夠自我進(jìn)化的超級智能推理系統(tǒng)，從打造一個(gè)AI數(shù)學(xué)家開始。”在她看來，數(shù)學(xué)發(fā)現(xiàn)揭開萬物的奧秘，從人類大腦到浩瀚宇宙。歷史上的每次數(shù)學(xué)突破都成為下一發(fā)現(xiàn)的基石。而人工智能正徹底改變這場探索。

洪樂潼認(rèn)為，數(shù)學(xué)如今能以指數(shù)級規(guī)模和空前速度展開，這場革命建立在三大支柱之上：

1、人工智能以難以想象的規(guī)模生成創(chuàng)意;

2、 編程語言將抽象概念轉(zhuǎn)化為現(xiàn)實(shí);

3、 數(shù)學(xué)將萬物緊密相連。

由此形成的發(fā)現(xiàn)飛輪，讓每個(gè)突破都能催生下一個(gè)飛躍。

而Axiom Math 則組建了一支橫跨三大領(lǐng)域的頂尖團(tuán)隊(duì)，希望實(shí)現(xiàn)：大規(guī)模同步訓(xùn)練架構(gòu)、將AI引入代碼生成，以及應(yīng)用Transformer模型破解百年數(shù)學(xué)猜想。

研究人員和投資者都認(rèn)為 Axiom 的目標(biāo)極具說服力且鼓舞人心。

目前，Axiom 正在開發(fā)能夠發(fā)現(xiàn)和解決新數(shù)學(xué)問題的模型。研究人員還希望將他們的研究成果應(yīng)用于金融、飛機(jī)設(shè)計(jì)、芯片設(shè)計(jì)和量化交易等領(lǐng)域。

除了純數(shù)學(xué)之外，Axiom 的人工智能工具正在金融、飛機(jī)和芯片設(shè)計(jì)以及量化交易等需要嚴(yán)格計(jì)算精度的領(lǐng)域進(jìn)行實(shí)際應(yīng)用測試。B Capital 合伙人 Yan-David Erlich 表示：“解決復(fù)雜的數(shù)學(xué)問題是許多人類發(fā)明的核心。”

Axiom Math 憑借其雄心勃勃的愿景、深厚的專業(yè)知識和大量資金，致力于重新定義人工智能在科學(xué)發(fā)現(xiàn)和行業(yè)創(chuàng)新方面所能取得的成就。