AI初創(chuàng)公司Axiom獲6400萬(wàn)美元種子輪投資，CEO：我們起點(diǎn)是AI數(shù)學(xué)家

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

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

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

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

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

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

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

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

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

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

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

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

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

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

　　目前，Axiom 正在開發(fā)能夠發(fā)現(xiàn)和解決新數(shù)學(xué)問(wèn)題的模型。研究人員還希望將他們的研究成果應(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)用測(cè)試。B Capital 合伙人 Yan-David Erlich 表示：“解決復(fù)雜的數(shù)學(xué)問(wèn)題是許多人類發(fā)明的核心。”

　　今年9月下旬，Axiom受邀參加了Oberwolfach 數(shù)學(xué)人工智能研討會(huì)，該會(huì)議僅限受邀者參加，以促進(jìn)杰出研究人員之間的合作而聞名于世。未來(lái)，Axiom希望看到人類數(shù)學(xué)家與人工智能數(shù)學(xué)家之間的合作。

　　可以看到，Axiom憑借其雄心勃勃的愿景、深厚的專業(yè)知識(shí)和大量資金，希望重新定義AI在科學(xué)發(fā)現(xiàn)和行業(yè)創(chuàng)新方面所能取得的成就。

　　相關(guān)閱讀：

　　斯坦福大學(xué)數(shù)學(xué)博士生聚焦AI數(shù)學(xué)領(lǐng)域創(chuàng)業(yè)，計(jì)劃融資5000萬(wàn)美元