廣州出生的00後洪樂潼，憑藉其數學天賦，在麻省理工學院快速完成學業後，創立了人工智能初創公司Axiom。該公司專注於解決AI數學基礎層的缺陷，其技術近期獲得市場高度認可，完成巨額A輪融資，估值急升，正式躋身全球獨角獸企業行列。
本文核心內容：
- 洪樂潼創立的AI公司Axiom，近日完成2億美元的A輪融資，由矽谷頂級風投Menlo Ventures領投。
- 此輪融資令Axiom的估值急升至16億美元（約125.3億港元），成為獨角獸企業。
- Axiom的核心技術是通過Lean程式語言建構驗證系統，旨在強制AI推理步步可驗證，以杜絕「幻覺」問題。
- 洪樂潼年僅17歲即被麻省理工學院錄取，並用三年時間修畢數學和物理雙學位，期間發表了9篇高水平數學論文。
技術突破與學術震動
Axiom的系統在無人干預的情況下，成功攻克了兩道困擾數學界數十年的世界級難題，此舉在學術界引起震動。公司鎖定對沖基金、量化交易員等高端客戶，目標是利用AI解決複雜數學證明的難題。
創辦人的非凡歷程
洪樂潼祖籍潮汕，在廣州長大，父母是普通工人。她自幼展現出罕見的數學天賦，高中時入選廣東中學生英才計畫，並是全國中學生數學奧賽廣東選區中僅有的四位女選手之一。在取得麻省理工學院學位後，她曾於史丹福大學攻讀博士，但最終決定退學投身創業。她的成就亦獲得福布斯認可，於2025年12月入選「福布斯30歲以下30人」榜單。