估值16億美元躋身獨角獸

出生於廣州的「00後」數學天才洪樂潼（Carina Letong Hong），在短短數年間完成從學術界到科技創業者的轉變。她創立的人工智能初創公司 Axiom 近日完成2億美元A輪融資，推動公司估值升至約16億美元，正式躋身全球「獨角獸」企業行列。

據內地科技媒體報道，Axiom成立僅一年多，專注解決人工智能在數學推理領域的基礎問題。公司核心技術以 Lean 程式語言為基礎，構建可驗證的推理系統，要求AI在進行推理時每一步均可被檢驗，從而減少甚至杜絕人工智能常見的「幻覺」（hallucination）問題。

報道指出，Axiom的系統在無人干預情況下，成功攻克兩道困擾數學界數十年的難題，引起學術界廣泛關注。公司計劃將相關技術應用於高端金融與科研領域，目標客戶包括對沖基金與量化交易機構，藉由AI協助解決複雜數學證明與模型推導問題。

Axiom最新一輪融資由矽谷知名風投 Menlo Ventures 領投，投資消息公布後迅速在科技界與金融市場引發討論，也讓這家成立時間不長的初創企業估值大幅提升。

祖籍潮汕 廣州出生

洪樂潼的個人成長經歷亦備受關注。她祖籍潮汕，在廣州出生及成長，父母均為普通工人，未曾接受大學教育。洪樂潼自幼展現出罕見的數學天賦，高中時期已入選「廣東中學生英才計畫」，並成為當年全國中學生數學奧林匹克廣東賽區僅有的四名女選手之一。

17歲時，洪樂潼獲 Massachusetts Institute of Technology 錄取，並僅用三年時間便完成數學與物理雙學位課程，其間更發表9篇高水平數學論文，展現出卓越的研究能力。

畢業後，她進入 Stanford University 攻讀博士學位，但在研究期間逐漸對人工智能與數學交叉領域產生濃厚興趣，最終決定退學創業，投身AI技術研發。

2025年12月，洪樂潼入選 Forbes 「30歲以下30人」榜單，進一步提升其在科技界的知名度。

隨著人工智能技術迅速發展，如何提升AI推理能力並降低「幻覺」問題，已成為全球科技企業競逐的重要方向。Axiom以數學驗證系統切入該領域，也被視為AI基礎研究的重要探索之一。分析認為，若相關技術能夠在金融、科研與工程等領域實現商業化應用，將為AI產業帶來新的突破。 （編輯部）