近期，全球創(chuàng)投市場迎來重磅融資事件——人工智能初創(chuàng)企業(yè)Axiom（axiommath.ai）宣布成功完成2億美元（約合人民幣14億元）A輪融資。本輪融資由知名風(fēng)險投資機構(gòu)Menlo Ventures領(lǐng)投，公司原有股東均參與跟投。

作為一家成立僅一年有余的AI企業(yè)，Axiom在此輪融資后估值達到16億美元（約合人民幣110億元），正式躋身全球獨角獸企業(yè)行列。

相較于融資規(guī)模與估值，市場更為關(guān)注的是其創(chuàng)始人洪樂潼（Carina Hong）。這位2001年出生于廣州的00后創(chuàng)業(yè)者，憑借旗下項目迅速成為資本市場焦點。

▲洪樂潼 圖片來源：麻省理工學(xué)院

“00后”廣州學(xué)霸創(chuàng)業(yè)成AI圈焦點

據(jù)報道，祖籍潮汕的洪樂潼出生在廣州，父母是從未上過大學(xué)的普通務(wù)工者。

有著超強數(shù)學(xué)天賦的她，早在高一就入選了廣東省中學(xué)生英才計劃，師從中山大學(xué)教授王學(xué)欽。此后，她在全國中學(xué)生數(shù)學(xué)奧林匹克（CMO）廣東選拔中脫穎而出，成為僅有的四位女生之一。

隨后，她開始將視野投向更高層次的數(shù)學(xué)研究。

2018年，年僅17歲的洪樂潼如愿被麻省理工學(xué)院（MIT）錄取，選擇了數(shù)學(xué)與物理雙專業(yè)。

她在麻省理工學(xué)院只用3年時間就修完了兩個學(xué)位，并在國際一流期刊發(fā)表了涉及模橢圓曲線與K3曲面上的L函數(shù)、“月光猜想”的9篇學(xué)術(shù)論文。研究方向涵蓋數(shù)論、組合學(xué)等基礎(chǔ)數(shù)學(xué)領(lǐng)域，為其當(dāng)前AI創(chuàng)業(yè)埋下伏筆。

麻省理工導(dǎo)師評價：“當(dāng)多數(shù)人還在關(guān)注應(yīng)用層時，她已瞄準(zhǔn)數(shù)學(xué)證明自動化這一基礎(chǔ)難題?！?/p>

公司用AI解決復(fù)雜數(shù)學(xué)證明的難題

當(dāng)下，AI行業(yè)面臨著一個極其尖銳的矛盾：大模型的能力狂飆，但可靠性卻始終是個黑盒。日常應(yīng)用中的“胡說八道”或許無傷大雅；但在金融、國防或關(guān)鍵基礎(chǔ)設(shè)施領(lǐng)域，任何基于概率的錯誤都可能釀成災(zāi)難。

例如，針對ChatGPT o3“數(shù)學(xué)測試作弊”爭議，此前作為斯坦福大學(xué)數(shù)學(xué)博士的洪樂潼就率先指出癥結(jié)——當(dāng)前AI缺乏嚴(yán)格的邏輯推理訓(xùn)練體系。

而她創(chuàng)立Axiom則采用“數(shù)學(xué)即服務(wù)”模式，通過學(xué)習(xí)嚴(yán)格邏輯推理過程，使AI像數(shù)學(xué)家一樣構(gòu)建和驗證證明。

資料顯示，作為初創(chuàng)公司的Axiom將鎖定對沖基金、量化交易員等高端客戶，宣稱要用AI解決復(fù)雜數(shù)學(xué)證明的難題，為金融公司提供高效的量化解決方案。

來源 | 紅星資本局 中國科學(xué)報 重慶晨報

編輯 | 林榮暢

審讀 | 郭建華

二審 | 蔡志軍

三審 | 王 博

深圳晚報×深圳招商蛇口國際郵輪母港有限公司

給晚粉送 郵輪船票 啦~

為粉絲帶來不一樣的出游體驗～

一等獎：港珠澳大橋海上游平日票

二等獎：海上看深圳·WAN夜宴平日票

三等獎：深圳蛇口-橫琴（長隆）平日票

四等獎：深圳蛇口-香港上環(huán)船票

1、進入深圳晚報微信公眾號

2、點擊“私信”進入對話框

3、在對話框中輸入關(guān)鍵詞“船票”，獲取鏈接參與抽獎

開獎時間：2026年3月31日12:00

兌獎方式：兌換信息將由工作人員以短信方式通知，請注意查收

使用期限：兌換日期起至2026年12月31日（周末節(jié)假日不適用）

注意事項：

1、進入抽獎小程序會有一個5秒的開屏廣告，請勿點擊！請勿點擊！請勿點擊?。ㄖ匾氖虑檎f三遍）；

2、本獎品為贈品，嚴(yán)禁轉(zhuǎn)賣交易；

3、請中獎粉絲在規(guī)定時間內(nèi)填寫領(lǐng)獎信息，留意手機短信，如發(fā)現(xiàn)填寫信息未兌票，或?qū)⑦M入深晚福利黑名單；

4、使用須知以兌換券使用規(guī)則為準(zhǔn)；

5、本活動最終解釋權(quán)歸深圳晚報所有。