近期,全球創(chuàng)投市場迎來重磅融資事件——人工智能初創(chuàng)企業(yè)Axiom(axiommath.ai)宣布成功完成2億美元(約合人民幣14億元)A輪融資。本輪融資由知名風險投資機構Menlo Ventures領投,公司原有股東均參與跟投。
作為一家成立僅一年有余的AI企業(yè),Axiom在此輪融資后估值達到16億美元(約合人民幣110億元),正式躋身全球獨角獸企業(yè)行列。
相較于融資規(guī)模與估值,市場更為關注的是其創(chuàng)始人洪樂潼(Carina Hong)。這位2001年出生于廣州的00后創(chuàng)業(yè)者,憑借旗下項目迅速成為資本市場焦點。
![]()
▲洪樂潼 圖片來源:麻省理工學院
![]()
“00后”廣州學霸創(chuàng)業(yè)成AI圈焦點
據(jù)報道,祖籍潮汕的洪樂潼出生在廣州,父母是從未上過大學的普通務工者。
有著超強數(shù)學天賦的她,早在高一就入選了廣東省中學生英才計劃,師從中山大學教授王學欽。此后,她在全國中學生數(shù)學奧林匹克(CMO)廣東選拔中脫穎而出,成為僅有的四位女生之一。
隨后,她開始將視野投向更高層次的數(shù)學研究。
2018年,年僅17歲的洪樂潼如愿被麻省理工學院(MIT)錄取,選擇了數(shù)學與物理雙專業(yè)。
她在麻省理工學院只用3年時間就修完了兩個學位,并在國際一流期刊發(fā)表了涉及模橢圓曲線與K3曲面上的L函數(shù)、“月光猜想”的9篇學術論文。研究方向涵蓋數(shù)論、組合學等基礎數(shù)學領域,為其當前AI創(chuàng)業(yè)埋下伏筆。
麻省理工導師評價:“當多數(shù)人還在關注應用層時,她已瞄準數(shù)學證明自動化這一基礎難題。”
![]()
公司用AI解決復雜數(shù)學證明的難題
當下,AI行業(yè)面臨著一個極其尖銳的矛盾:大模型的能力狂飆,但可靠性卻始終是個黑盒。日常應用中的“胡說八道”或許無傷大雅;但在金融、國防或關鍵基礎設施領域,任何基于概率的錯誤都可能釀成災難。
例如,針對ChatGPT o3“數(shù)學測試作弊”爭議,此前作為斯坦福大學數(shù)學博士的洪樂潼就率先指出癥結——當前AI缺乏嚴格的邏輯推理訓練體系。
而她創(chuàng)立Axiom則采用“數(shù)學即服務”模式,通過學習嚴格邏輯推理過程,使AI像數(shù)學家一樣構建和驗證證明。
資料顯示,作為初創(chuàng)公司的Axiom將鎖定對沖基金、量化交易員等高端客戶,宣稱要用AI解決復雜數(shù)學證明的難題,為金融公司提供高效的量化解決方案。
來源 | 紅星資本局 中國科學報 重慶晨報
編輯 | 林榮暢
審讀 | 郭建華
二審 | 蔡志軍
三審 | 王 博
![]()
![]()
![]()
![]()
![]()
深圳晚報×深圳招商蛇口國際郵輪母港有限公司
給晚粉送 郵輪船票 啦~
為粉絲帶來不一樣的出游體驗~
![]()
一等獎:港珠澳大橋海上游平日票
二等獎:海上看深圳·WAN夜宴平日票
三等獎:深圳蛇口-橫琴(長隆)平日票
四等獎:深圳蛇口-香港上環(huán)船票
1、進入深圳晚報微信公眾號
2、點擊“私信”進入對話框
3、在對話框中輸入關鍵詞“船票”,獲取鏈接參與抽獎
![]()
![]()
開獎時間:2026年3月31日12:00
兌獎方式:兌換信息將由工作人員以短信方式通知,請注意查收
使用期限:兌換日期起至2026年12月31日(周末節(jié)假日不適用)
注意事項:
1、進入抽獎小程序會有一個5秒的開屏廣告,請勿點擊!請勿點擊!請勿點擊!(重要的事情說三遍);
2、本獎品為贈品,嚴禁轉(zhuǎn)賣交易;
3、請中獎粉絲在規(guī)定時間內(nèi)填寫領獎信息,留意手機短信,如發(fā)現(xiàn)填寫信息未兌票,或?qū)⑦M入深晚福利黑名單;
4、使用須知以兌換券使用規(guī)則為準;
5、本活動最終解釋權歸深圳晚報所有。
![]()
![]()
特別聲明:以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺“網(wǎng)易號”用戶上傳并發(fā)布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.