在人工智能領(lǐng)域，一位來(lái)自中國(guó)廣州的年輕創(chuàng)業(yè)者正以驚人的速度改寫行業(yè)規(guī)則。由25歲科學(xué)家洪樂(lè)潼創(chuàng)立的AI公司Axiom，憑借突破性技術(shù)解決大模型核心痛點(diǎn)，成立不到兩年便躋身獨(dú)角獸行列，最新估值達(dá)110億元人民幣。這家僅有20人的初創(chuàng)企業(yè)，在完成2億美元A輪融資后，已成為硅谷風(fēng)投圈競(jìng)相追逐的對(duì)象。

與傳統(tǒng)AI公司聚焦聊天機(jī)器人或圖像生成不同，Axiom將研發(fā)重心放在消除大模型"幻覺"這一行業(yè)難題上。其獨(dú)創(chuàng)的異構(gòu)協(xié)作系統(tǒng)通過(guò)數(shù)學(xué)形式化驗(yàn)證技術(shù)，構(gòu)建起嚴(yán)密的邏輯防火墻——當(dāng)大模型進(jìn)行猜想與搜索時(shí)，Lean編程語(yǔ)言會(huì)同步進(jìn)行終極驗(yàn)算，任何邏輯跳躍都會(huì)被系統(tǒng)自動(dòng)攔截。這種從數(shù)學(xué)根源杜絕錯(cuò)誤輸出的機(jī)制，為AI可靠性樹立了新標(biāo)桿。

2025年12月，該公司的核心系統(tǒng)AxiomProver在普特南數(shù)學(xué)競(jìng)賽中創(chuàng)造歷史。這個(gè)被視為"數(shù)學(xué)界諾貝爾獎(jiǎng)"的頂級(jí)賽事，要求參賽者在6小時(shí)內(nèi)解答12道高難度試題。AxiomProver不僅完成全部題目，更取得滿分成績(jī)，成為近百年來(lái)第五位達(dá)成此成就的"選手"，此前四位均為人類頂尖數(shù)學(xué)家。

洪樂(lè)潼的學(xué)術(shù)履歷同樣令人驚嘆。這位出身廣州普通務(wù)工家庭的天才少女，17歲即被麻省理工學(xué)院破格錄取，用三年時(shí)間完成數(shù)學(xué)與物理雙學(xué)位。本科期間她發(fā)表9篇學(xué)術(shù)論文，先后斬獲北美數(shù)學(xué)本科生最高榮譽(yù)摩根獎(jiǎng)、專為女性設(shè)立的Alice T. Schafer數(shù)學(xué)獎(jiǎng)。2021年獲得羅德獎(jiǎng)學(xué)金后，她先后在牛津大學(xué)、倫敦大學(xué)學(xué)院開展神經(jīng)科學(xué)研究，最終選擇在斯坦福攻讀數(shù)學(xué)與法律雙博士期間退學(xué)創(chuàng)業(yè)。

這位年輕創(chuàng)始人的成長(zhǎng)軌跡充滿傳奇色彩：從廣州街頭到世界頂尖學(xué)府，從神經(jīng)科學(xué)實(shí)驗(yàn)室到AI創(chuàng)業(yè)戰(zhàn)場(chǎng)，她始終保持著對(duì)數(shù)學(xué)本質(zhì)的探索熱情。在入選2025年"福布斯30歲以下30人"榜單時(shí)，評(píng)委會(huì)特別指出："洪樂(lè)潼正在用數(shù)學(xué)語(yǔ)言重構(gòu)人工智能的底層邏輯，這種跨學(xué)科思維可能引發(fā)行業(yè)范式革命。"

目前，Axiom的技術(shù)已引起金融、醫(yī)療等高風(fēng)險(xiǎn)領(lǐng)域的關(guān)注。其系統(tǒng)能將復(fù)雜決策的邏輯錯(cuò)誤率降低至十億分之一，這項(xiàng)突破性成果或?qū)⒅匦露xAI在關(guān)鍵領(lǐng)域的應(yīng)用邊界。隨著新一輪融資完成，這家年輕公司正加速推進(jìn)技術(shù)商業(yè)化，其創(chuàng)新模式正在全球科技界引發(fā)連鎖反應(yīng)。