#25岁天才少女拿下超14亿融资#

25岁广州女孩洪乐潼创办的AI公司Axiom，以形式化验证技术重构AI底层逻辑，成立一年便完成2亿美元A轮融资，估值达110亿元人民币。她出身普通务工家庭，17岁考入麻省理工，3年拿下数学与物理双学位，本科发表9篇高水平论文，斩获摩根奖等多项国际大奖。后获罗德奖学金赴牛津深造，又在斯坦福攻读双博期间退学创业。

Axiom核心是用数学证明约束AI推理，将每一步推导转化为可机器核验的逻辑证明，从根源消除“幻觉”与逻辑漏洞。其系统曾无人工干预攻克两道数十年数学难题，还在普特南竞赛中取得满分成绩。技术已切入金融风控、自动驾驶、代码安全等刚需领域，吸引全球数学泰斗与顶尖技术人才加入。
她的成长打破“天才需豪门加持”的偏见，父母虽无高等学历，却全力支持其兴趣发展。洪乐潼避开热门应用赛道，聚焦AI可靠性底层难题，用纯数学能力构建技术壁垒，展现00后创业者深耕硬核科技、面向全球竞争的魄力。当前行业对形式化验证需求激增，Axiom正加速团队扩张与商业化，有望推动AI从概率时代迈向可证明可靠的新阶段。
http://t.cn/AXIks35B http://t.cn/AXIFPGMq