近期，全球创投市场迎来重磅融资事件——人工智能初创企业Axiom（axiommath.ai）宣布成功完成2亿美元（约合人民币14亿元）A轮融资。本轮融资由知名风险投资机构Menlo Ventures领投，公司原有股东均参与跟投。
作为一家成立仅一年有余的AI企业，Axiom在此轮融资后估值达到16亿美元（约合人民币110亿元），正式跻身全球独角兽企业行列。
相较于融资规模与估值，市场更为关注的是其创始人洪乐潼（Carina Hong）。这位2001年出生于广州的00后创业者，凭借旗下项目迅速成为资本市场焦点。
▲洪乐潼 图片来源：麻省理工学院
“00后”广州学霸创业成AI圈焦点
据羊城晚报金羊网报道，祖籍潮汕的洪乐潼出生在广州，父母是从未上过大学的普通务工者。
有着超强数学天赋的她，早在高一就入选了广东省中学生英才计划，师从中山大学教授王学钦。此后，她在全国中学生数学奥林匹克（CMO）广东选拔中脱颖而出，成为仅有的四位女生之一。
随后，她开始将视野投向更高层次的数学研究。
2018年，年仅17岁的洪乐潼如愿被麻省理工学院（MIT）录取，选择了数学与物理双专业。
她在麻省理工学院只用3年时间就修完了两个学位，并跻身国际一流期刊，发表了涉及模椭圆曲线与K3曲面上的L函数、“月光猜想”的9篇学术论文。研究方向涵盖数论、组合学等基础数学领域，为其当前AI创业埋下伏笔。
麻省理工导师评价：“当多数人还在关注应用层时，她已瞄准数学证明自动化这一基础难题。”
更引人注目的是，她在MIT期间曾获得全美女性数学家最高荣誉——Alice T. Schafer数学奖，并在2021年成为中国仅有的四位罗德学者之一，前往牛津大学继续攻读神经科学课程。
在此期间，她曾在伦敦大学学院盖茨比计算单位作为第一作者开展深度学习研究项目，由此正式踏入AI领域。
在读完了数学、物理、神经科学后，洪乐潼又对人文学科产生强烈好奇，在斯坦福大学开启数学与法律双学科博士项目的研究。
据中国科学报去年12月报道，洪乐潼目前退学创业。她还曾获得表彰北美地区数学专业本科生杰出研究的AMS-MAA-SIAM摩根奖。就在2025年12月3日，洪乐潼入选“福布斯30岁以下30人”榜单。
公司用AI解决复杂数学证明的难题
当下，AI行业面临着一个极其尖锐的矛盾：大模型的能力狂飙，但可靠性却始终是个黑盒。日常应用中的“胡说八道”或许无伤大雅；但在金融、国防或关键基础设施领域，任何基于概率的错误都可能酿成灾难。
例如，针对ChatGPT o3“数学测试作弊”争议，此前作为斯坦福大学数学博士的洪乐潼就率先指出症结——当前AI缺乏严格的逻辑推理训练体系。
而她创立Axiom则采用“数学即服务”模式，通过学习严格逻辑推理过程，使AI像数学家一样构建和验证证明。
资料显示，作为初创公司的Axiom将锁定对冲基金、量化交易员等高端客户，宣称要用AI解决复杂数学证明的难题，为金融公司提供高效的量化解决方案。
据中国科学报报道，去年12月，Axiom开发的AxiomProver系统，使用可验证的Lean语言，完成了埃尔德什问题集中第124题和第481题的形式化证明，分别用时1天和5小时，全程无人为干预。
埃尔德什问题集共包含1109个关于组合数学和数论的问题，是匈牙利数学家保罗·埃尔德什数十年来论文的汇集。迄今为止，只有266个问题被证明，其中10个问题的证明被转化为计算机可验证的形式化版本（Lean语言）。
越来越多00后AI创业者崭露头角
AI浪潮，已成为00后的主场。
就在上周，成立仅一年多的公司灵初智能宣布，已完成天使轮及Pre-A轮共计20亿元融资，投资方阵容豪华。其联合创始人陈源培，出生于2001年，曾就读于北京大学、斯坦福大学，师从李飞飞。
天使轮由国开金融、国中资本、央视融媒体产业投资基金等国家级“国家队”资本，某数千亿上市公司旗下战投、长飞光纤旗下基金，两大核心产业龙头资本，沃德尔等知名产业资本，及元生创投、珠海科技产业集团、钧山投资、燕缘创投、大米资本、沃赋资本、彬复资本等多家知名基金共同投资。
Pre-A轮由上海国资徐汇资本等基金领投，梁溪科创产业二期母基金、锡创投等地方国资，及普丰资本、钛铭资本等市场化基金跟投，多家老股东实现超额跟投。华兴资本担任长期财务顾问。
同为“00后”的杨丰瑜在耶鲁博士毕业后选择回国创业，在2024年成立了具身智能公司优理奇，完成数亿元的天使轮及天使+轮融资。2025年，由三位“00后”创立的AI招聘网站Mercor也宣布完成1亿美元的B轮融资，公司估值达20亿美元。
(本文不构成任何投资建议，据此操作风险自担)
来源：红星资本局、金羊网、中国科学报、公开资料等
编辑：杨文钊
校对：罗文宇
审核：胡钊钦
