5篇AI生成的数学论文被接收，00后创始人洪乐潼融资14个亿

AI数学家交出答卷：5篇论文通过同行评审

2026年2月至5月，Axiom Math向多家学术期刊提交了8篇完全由AI生成的数学论文。截至5月28日，其中5篇已通过同行评审，正式登上学术期刊。这批论文横跨数论、组合数学、交换代数、代数几何与几何动力系统、表示论以及Dyck path模型等多个前沿领域。其中一篇题为《Reciprocals of Partition Polynomials》的论文，已被《Annals of Acad.》接收，核心目标是处理Ballantine、Beck、Feigon和Maurischat提出的10个猜想，通过partition subsum polynomials构造reciprocal sums完成证明。Axiom的创始数学家、模形式领域泰斗小野健（Ken Ono）表示，系统在给定开放研究问题后，大约24小时内就能生成完整、机器可验证的证明。不过他也坦言，自然语言证明再顺滑，也可能藏有逻辑缝隙，需要审稿人和作者共同判断。

广州00后“开挂”履历：从华南师大附中到斯坦福退学

2001年出生于广州的洪乐潼，父母都是潮汕籍普通务工者，她是家里的第一代大学生。自幼数学天赋出众，高中就读于广东名校华南师大附中，多次在奥数竞赛中获奖，曾入选广东省中学生英才计划，师从中山大学教授王学钦。2018年，17岁的她被麻省理工学院（MIT）录取，攻读数学与物理双专业，仅用3年修完学位，期间发表9篇学术论文，研究方向涵盖模椭圆曲线、K3曲面上的L函数、“月光猜想”等基础数学领域，并获全美女性数学家最高荣誉Alice T. Schafer奖和北美数学本科生最高荣誉摩根奖。2021年，她获得牛津大学罗德奖学金，在牛津攻读神经科学硕士期间，于伦敦大学学院盖茨比计算单位开展深度学习研究。此后进入斯坦福大学攻读数学与法律双博士，但博士尚未读完，她选择退学创业，因为她看到了AI行业最尖锐的矛盾——大模型的“黑盒”问题：“在金融、国防领域，任何概率性错误都可能酿成灾难。”2024年深秋，她在斯坦福附近咖啡馆与Meta AI前研究总监Shubho Sengupta长谈后，毅然创办Axiom，Shubho成为CTO。数学泰斗小野健（曾为电影《知无涯者》担任顾问）也辞去弗吉尼亚大学终身教授职位，追随这位昔日学生创业。

2亿美元A轮融资，硅谷巨头抢筹

2026年3月中旬，Axiom宣布完成2亿美元（约14亿元人民币）A轮融资，由顶级风投Menlo Ventures领投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码，公司估值飙升至16亿美元（约110亿元人民币），成立不到一年即跻身独角兽行列。早在2024年8月，洪乐潼就已拿下960万美元种子轮投资。Menlo Ventures合伙人Matt Kraning表示：“我们正步入一个人工智能几乎可以编写所有软件的世界，背后隐藏着几乎无人提及的问题：所有代码都未经验证，这是巨大的风险。人工智能将写出所有代码，但数学将验证是否正确。”融资资金将主要用于算力成本和人才招聘。洪乐潼透露，已有不少意向客户找上门，目标客户包括对冲基金和量化交易公司，可快速解决资产定价、股市预测等复杂数学问题。

让大模型像数学家一样严谨：形式化验证闭环

Axiom的核心技术是通过Lean编程语言实现形式化验证，将数学证明转化为可执行程序，确保每一步推理都经过确定性验证器的检验。大模型不再基于概率去“猜”答案，而是产出严格数学逻辑的代码。2025年12月，Axiom系统在被誉为“本科生数学奥林匹克”的普特南竞赛中斩获12题全对满分，此前近百年仅有5人达成此成就。随后，该系统又自主证明了多个开放性数论猜想。洪乐潼的愿景不止于“AI数学家”，她希望打造一个能自我改进的超级智能推理器——同一个“生成、形式化、验证”闭环，未来可用于其他学科以及高风险决策场景。目前团队正与哈佛商学院教授Scott Duke Kominers合作，用Lean形式化证明Robert Aumann的经典博弈论定理。

00后创业潮中的“理想主义者”：比对手快两年

面对竞争对手Harmonic（同样专注AI数学，估值14.5亿美元），洪乐潼并不担心：“我们主要竞争对手花了两年多才达成第一个重要数学里程碑，我们快很多。”当前Axiom团队仅有20余人，但背景堪称豪华，一半成员来自Meta AI研究院。2025年DeepSeek火爆全球时，洪乐潼曾感慨：“一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。这就是DeepSeek的故事，也是我想亲自书写的故事。”在洪乐潼看来，这波AI创业潮中，00后没有历史包袱，对新事物的认知触感更强，而“科学突破往往需要两步：提出假设，再用证明去验证。我们创立Axiom，就是要无限压缩把好奇心转化为真理的时间。”