00后中国女学霸AI公司获14亿融资！3年修完麻省理工双学位
当2026年3月科技圈还在热议AI大模型的通用能力边界时,一家成立仅14个月的AI初创公司Axiom突然引爆资本市场——2亿美元A轮融资落地后，估值跳升至16亿美元（约110亿人民币），正式跻身全球独角兽行列，更令人意外的是，这家瞄准复杂数学证明自动化的公司，掌舵者是刚满25岁的中国女孩洪乐潼。 洪乐潼的成长轨迹没有精英标签——父母是广州本地制造业工人，从未接受高等教育，但从小发现女儿对数字和逻辑的敏感度远超同龄人：小学能快速拆解复杂应用题，初中自学高中竞赛内容，甚至能指出课本习题的逻辑漏洞。
2019年读高一时,洪乐潼入选广东中学生英才计划，成为当年全省仅有的4位女选手之一（且是唯一高一学生），在全国中学生数学奥林匹克竞赛（广东赛区）中，她用自创的“非对称归纳法”解决压轴题，比官方答案简洁30%，评委评价“逻辑链清晰到像机器写的”。
17岁被MIT录取后,她打破常规4年本科规划，仅用3年修完数学与物理双学位，期间发表9篇高水平论文——3篇登上《美国数学会通报》《物理评论快报》等顶刊，一篇关于非交换代数自动化证明的研究还获得2022年斯隆研究奖提名（仅授予全球顶尖青年学者）。
退学创业：从学界天才到华尔街刚需
MIT读博期间,洪乐潼撞见创业契机：参与学界项目时，传统工具验证一篇拓扑学证明花了3个月；而对冲基金的量化策略验证同样困于效率——人工验证每小时成本超1000美元，复杂策略周期长达数周。
“学界工具为发论文设计，市场需要的是快速解决实际问题的逻辑引擎。”2023年她放弃博士学位，拉3个MIT同学（1个计算机系、2个数学系）创办Axiom，创业初期6个月，他们打磨出第一个原型“数学逻辑引擎”。
2024年Q2测试时,帮美国某小型对冲基金验证15个高频交易策略：原本72小时的人工验证，引擎仅需8小时，准确率99.2%，直接节省200万美元人工成本，这个结果让他们拿到第一笔500万美元天使投资。
AI数学家平台：把数学证明变成可订阅服务
Axiom核心是“数学即服务（MaaS）”，主打“AI数学家平台”，分三大模块：
- 证明生成：输入量化策略等问题，自动生成完整逻辑链，提供基础/高级版方案（高级版含隐藏边界条件）；
- 证明验证：检查数学论文或策略漏洞——2024年某知名数学家的随机过程论文，被该平台发现3处学界未注意的逻辑错误；
- 量化定制：针对对冲基金提供策略优化服务——2025年Q4某头部量化基金用该服务优化12个策略，收益率提升18%，数据纳入《2025全球量化技术白皮书》。
目前已有超20家对冲基金成为付费客户,2025年营收突破3000万美元，同比增长450%。
AI数学赛道爆发：供需缺口催生110亿独角兽
Axiom快速崛起的背后,是AI数学领域的爆发式增长：
- 2025年全球AI数学融资额同比增长230%至12亿美元；
- 传统量化策略复杂度年增40%，人工验证效率年增仅15%，供需缺口持续扩大；
- 全球60%对冲基金表示“正在寻找AI数学工具降本”。
洪乐潼说：“数学不是少数人的游戏，是解决实际问题的工具——我们要让AI成为每个行业都能用上的‘数学家’。”
前沿科技与游戏的交叉：关注慈云游戏网
当AI数学渗透金融、医疗时，与游戏产业的结合也在升温——比如用AI优化游戏物理引擎、提升策略类游戏平衡度，想了解更多前沿科技与游戏的交叉动态？记得关注慈云游戏网，这里有一手行业洞察和独家案例。