2026年3月中旬，硅谷AI圈被一位广州女孩刷屏。由25岁天才少女洪乐潼（Carina Hong）创办的AI初创公司Axiom宣布完成2亿美元（约合14亿元人民币）A轮融资，领投方为顶级风投Menlo Ventures，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码。

至此，公司估值高达16亿美元（约合人民币110亿元），成立不到一年即跻身全球最年轻的独角兽之一，天才少女履历“开挂”，是如何一步步走到硅谷的？

从华附到斯坦福

2001年，洪乐潼出生于广州，父母是潮汕人，均为普通务工者。自幼她便展现出不凡的数学天赋，高中就读于广东名校华南师大附中，多次在奥数竞赛中获奖，曾入选广东省中学生英才计划，师从中山大学教授王学钦。

2018年，17岁的洪乐潼被麻省理工学院（MIT）录取，选择了数学与物理双专业。此后她仅用3年便修完两个学位，本科期间发表了9篇学术论文，研究方向涵盖模椭圆曲线、K3曲面上的L函数、“月光猜想”等基础数学领域。她还曾获得全美女性数学家最高荣誉Alice T. Schafer数学奖，以及表彰北美数学专业本科生杰出研究的AMS-MAA-SIAM摩根奖。

2021年，洪乐潼获得牛津大学罗德奖学金，成为当年仅有的四位中国获奖者之一。罗德奖学金被誉为“本科诺贝尔奖”，是世界上历史最悠久、最负盛名的国际奖学金项目之一。在牛津攻读神经科学硕士期间，她在伦敦大学学院盖茨比计算单位作为第一作者开展深度学习研究，正式踏入AI领域。随后她又进入斯坦福大学，攻读数学与法律双学科博士。然而，博士还没读完，她便做出了一个决定：退学创业。

“数学，是构建AI推理能力的正确基础”

洪乐潼看到的，是AI行业最尖锐的矛盾：大模型的能力在狂飙，但可靠性始终是个黑盒。“日常应用中的‘胡说八道’或许无伤大雅；但在金融、国防或关键基础设施领域，任何基于概率的错误都可能酿成灾难。”

她创立的Axiom（源自数学术语“公理”），目标正是打造能自动验证计算机代码的AI系统，让大模型的推理过程像数学证明一样严格，每一步都可验证。其核心技术是形式化验证：通过Lean编程语言，将数学证明转化为可执行程序，从根本上确保结果的正确性。大模型不再是基于概率去“猜”答案，而是将代码转化为严格的数学逻辑，每一步推理，都必须通过确定性验证器的检验。

“科学突破往往需要两步：提出假设，再用证明去验证。”洪乐潼在接受采访时说，“我们创立Axiom，就是要无限压缩把好奇心转化为真理的时间。”

这套系统很快展示了实力。2025年12月，Axiom的核心系统在被誉为“本科生数学奥林匹克”的普特南竞赛中，斩获12题全对的满分。要知道，过去近百年，仅有5人达成过此成就。随后，该系统又自主证明了多个开放性数论猜想。

一次咖啡馆里的相遇

Axiom的故事，始于2024年深秋的一个周末。23岁的洪乐潼在斯坦福附近的一家咖啡馆，见到了时任Meta AI研究总监的Shubho Sengupta。几个小时的交谈中，两人讨论了各自研究领域的交叉点，以及AI或许可以解决世界上最棘手的数学问题。不久，洪乐潼做出了一个平静却决绝的选择：从斯坦福退学，着手创立Axiom。Shubho则成为Axiom第一位成员，现任CTO。

团队的另一位核心人物，是57岁的数学泰斗小野健（Ken Ono）。他是模形式领域的顶尖学者、美国数学学会前副会长，拿过古根海姆奖、斯隆奖等荣誉，曾为美国奥运游泳队提供数据分析，还为电影《知无涯者》担任顾问。小野健曾是洪乐潼在MIT数论项目中的导师，如今，这位弗吉尼亚大学终身教授选择辞职，追随昔日学生的创业之路。Axiom团队目前仅有20余人，但背景堪称豪华，一半成员来自Meta AI研究院。

资本为何押注？

2024年8月，洪乐潼就拿下了960万美元种子轮投资。短短5个月后，A轮2亿美元的融资宣告完成。Menlo Ventures的合伙人Matt Kraning感慨：“我们正步入一个人工智能几乎可以编写所有软件的世界，背后隐藏着几乎无人提及的问题：所有代码都未经验证，这将是巨大的风险。人工智能将写出所有代码，但数学将验证是否正确。”

在洪乐潼的设想中，未来Axiom的产品可服务于对冲基金和量化交易公司，快速解决与资产定价、股市预测相关的复杂数学问题。她表示，“Axiom很小，却很强。我们在探索各种更聪明的技术来降低成本，资本效率很高。”融资到手后，一部分用于算力成本，一部分用于招聘。

面对竞争对手Harmonic，同样专注于用AI解决数学难题、估值达14.5亿美元的独角兽，洪乐潼并不担心。“我们主要竞争对手花了两年多，才达成第一个重要数学里程碑，我们快很多。”她透露，已经有不少意向客户找上门。

2025年，DeepSeek横空出世，洪乐潼感慨：“一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。”她说，DeepSeek的故事，也是她“想亲自书写的故事”。