#本周热读 #独家 当今世界最杰出的数学家之一的Ken Ono离开大学前往硅谷，追寻数学超级智能的奥秘。他跳槽去了一家由他以前的学生洪乐潼创办的公司；这位学生的履历光鲜亮丽，足以让AI都自愧不如。https://t.co/H43I5JLFIV
— 华尔街日报中文网 (@ChineseWSJ) December 6, 2025
洪乐潼创办的Axiom Math传出已完成2亿美元融资，公司估值约16亿美元。（图取自领英网页）综合中国媒体报导，这位现年25岁、来自广州的数学天才在麻省理工与牛津完成学业后，曾进入斯坦福攻读数学与法学项目，但随后选择退学创业，成立Axiom Math，主打“数学超级智能”概念。
公开资料显示，洪乐潼出生于广州，父母并非高学历背景。她中学就读于华南师范大学附属中学，并入选2017年广东省中学生英才计划。此后她前往麻省理工学院，仅用三年便完成数学与物理双学位，在校期间还修读20门高阶数学课程，并发表9篇论文。
2022年，她又到牛津大学攻读神经科学硕士，并在伦敦大学学院从事AI与机器学习研究。2024年8月，洪乐潼进入斯坦福大学攻读数学博士与法学博士，但不久后决定离校，转而创办Axiom Math，希望打造能够处理高阶数学证明的人工智能系统。
洪乐潼曾公开表示，她一直想把AI真正带入数学世界。她认为，数学之所以具备商业潜力，关键在于它能自我验证、自我检查，因此比许多其他AI应用更容易建立可靠价值。
AI 是真的能让人挣钱，而且是暴富，毕业于麻省理工学院和牛津大学的25岁广州数学天才少女洪乐潼，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元，约合人民币110亿元。洪乐潼的公司取名Axiom，目标是创造批量 AI 数学家。 pic.twitter.com/x5rQMP45FR
— 李坏之 (@lihuaizhi) April 6, 2026
报导指出，Axiom的核心目标是制造所谓“AI数学家”。简单来说，就是让AI像数学家证明定理那样，能够更可靠地验证复杂代码与计算结果。
这一思路的商业价值在于，AI虽然可以自动写代码，但很难保证代码一定没有漏洞；如果能借助数学证明式的方法提高验证能力，就可能在金融、程序验证与复杂建模场景中发挥更大作用。凭借这套构想，洪乐潼早在2024年8月便已拿到960万美元种子轮投资。
按照她的设想，未来Axiom的产品可用于服务对冲基金与量化交易公司，协助更快处理资产定价、市场预测等涉及复杂数学的问题。
最新消息显示，洪乐潼又从Menlo Ventures、Greycroft、Madrona等创投机构募得2亿美元A轮融资。Axiom目前已有20多名员工，而她本人也持续在海外社交平台招募对“用AI做数学”感兴趣的人才。
