25岁广州科学家洪乐潼创AI公司Axiom，以形式化验证攻克大模型幻觉难题

2026年4月13日，一则关于广州青年科学家洪乐潼的创业消息引发广泛关注。这位25岁的女性研究者，曾就读于斯坦福大学数学与法律双博士项目，后选择中途退学，投身人工智能基础技术创业。她带领一支仅二十人的团队，在公司成立不足两年之际，便实现估值达一百一十亿元，迅速跻身全球高成长性科技企业行列。

2026年3月中旬，由其创立的AI公司Axiom顺利完成两亿美元A轮融资，正式成为独角兽企业。该公司未涉足当前热门的对话式大模型或图像生成应用，而是聚焦于大语言模型领域长期存在的核心挑战——“幻觉”问题。其技术路径立足于形式化验证，从数学原理层面构建可信推理框架，力求从根本上杜绝模型输出中的逻辑偏差与事实错误。

Axiom采用异构协同架构：大语言模型承担假设生成与搜索探索任务，而由Lean语言驱动的形式化验证引擎则负责对每一步推理进行严格数学检验。任何未经验证的逻辑跳跃均无法通过系统审核，从而确保输出结果具备可验证的正确性。

2025年12月，Axiom自主研发的核心推理系统AxiomProver在普特南数学竞赛中完成全部十二道高难度试题，并取得满分成绩。此项成就在该项赛事近百年历史中，仅有五位人类参赛者曾达成。同月，洪乐潼入选“福布斯30岁以下30人”榜单。

洪乐潼2001年出生于广州一个普通务工家庭。十七岁时以优异成绩考入麻省理工学院，仅用三年时间完成数学与物理双学士学位。本科期间发表学术论文九篇，获北美数学本科生最高荣誉摩根奖，并成为当年全美唯一获得Alice T. Schafer数学奖的女性本科生。

2021年，她获罗德奖学金赴牛津大学攻读神经科学硕士学位，随后进入伦敦大学学院盖茨比计算神经科学中心，开展深度学习理论研究。此后，她考入斯坦福大学攻读数学与法律双博士学位，最终基于对人工智能基础可信问题的深切关注，决定离开学术轨道，创办Axiom，致力于推动大模型向可验证、可信赖的方向演进。