洪樂潼25歲，其AI初創上月獲A輪2億，公司估值16億。MIT本科數理，斯坦福數博退學創業。公司方向ai驗證程序，正招人

洪樂潼（英文名：Carina Letong Hong），女，中國廣州人，2001年出生，洪樂潼曾就讀於華南師範大學附屬中學，並入選2017年廣東省中學生英才計劃 。本科就讀於美國麻省理工學院，用三年完成數學與物理雙學位學業 ，並修讀了20門高等數學課程 ，在此期間還發表了9篇論文，刊登在《美國數學會會報》、《拉馬努金期刊》上。
2022年，洪樂潼入選羅德學者後赴牛津大學攻讀神經科學碩士學位 ，期間還在倫敦大學學院進行人工智能和機器學習研究 。2024年8月，洪樂潼進入斯坦福大學攻讀數學博士和法學博士，後退學並投身人工智能領域。同年創辦Axiom Math公司，其團隊研發的Axiom Prover係統在普特南競賽中取得滿分，並於2025年12月自主證明了埃爾德什問題#124（用時超24小時）和#481（用時5小時）等開放性數論猜想 。該項目致力於發展可驗證人工智能，通過形式化驗證確保AI推理結果的正確性。2026年3月，Axiom Math完成2億美元A輪融資，估值達16億美元 。團隊包括人工智能與數學領域專家，如CTO Shubho Sengupta、核心科學家François Charton，以及傳奇數學家小野健（Ken Ono）辭去終身教職加入。