人工智能领域正迎来一批年轻创业者的崛起，其中一位来自中国广州的“00后”创业者洪乐潼，凭借其创立的AI企业Axiom（axiommath.ai）完成2亿美元A轮融资，迅速成为全球科技圈的焦点。本轮融资由知名风投机构Menlo Ventures领投，原有股东悉数跟投，融资后公司估值达16亿美元，正式跻身独角兽行列。

洪乐潼的学术背景堪称传奇。这位2001年出生于广州的创业者，父母均为普通务工者，却凭借卓越的数学天赋在高中阶段便脱颖而出。她高一入选广东省中学生英才计划，师从中山大学教授王学钦，并在全国中学生数学奥林匹克竞赛广东选拔赛中成为仅有的四位女生之一。2018年，17岁的她被麻省理工学院（MIT）录取，主修数学与物理双专业，仅用三年便完成学业，期间发表了9篇涉及数论、组合学等基础数学领域的学术论文，其中部分研究直指数学证明自动化这一核心难题。

在MIT期间，洪乐潼的成就远不止于学术。她斩获全美女性数学家最高荣誉——Alice T. Schafer数学奖，并在2021年成为中国仅有的四位罗德学者之一，赴牛津大学攻读神经科学。此后，她的学术轨迹横跨数学、物理、神经科学，甚至延伸至人文学科：在斯坦福大学启动数学与法律双博士项目后，她最终选择退学创业。此前，她还曾获得表彰北美地区数学本科生杰出研究的AMS-MAA-SIAM摩根奖，并在2025年12月入选“福布斯30岁以下30人”榜单。

Axiom的创立源于洪乐潼对AI行业痛点的深刻洞察。当前，大模型虽能力迅猛增长，但可靠性问题始终未解——尤其在金融、国防等关键领域，基于概率的错误可能引发严重后果。针对这一矛盾，Axiom提出“数学即服务”模式，通过训练AI掌握严格逻辑推理，使其能像数学家一样构建并验证证明。公司首款产品AxiomProver系统已展现惊人潜力：去年12月，该系统使用可验证的Lean语言，在无人干预的情况下分别用1天和5小时完成了埃尔德什问题集中第124题和第481题的形式化证明。这一成果意义重大——埃尔德什问题集包含1109个组合数学与数论难题，迄今仅266个被证明，其中仅10个被转化为计算机可验证的形式化版本。

Axiom的商业模式聚焦高端客户，目标用户包括对冲基金、量化交易员等金融领域机构。公司宣称，其技术可为金融公司提供高效的量化解决方案，解决复杂数学证明难题。这一定位与洪乐潼的学术背景高度契合：她曾在斯坦福大学期间指出ChatGPT等模型在数学推理中的缺陷，强调当前AI缺乏严格的逻辑训练体系。

洪乐潼并非唯一在AI领域崭露头角的“00后”。近期，另一家成立仅一年多的公司灵初智能宣布完成天使轮及Pre-A轮共计20亿元融资，投资方包括国开金融、国中资本等国家级资本，以及上海国资徐汇资本等地方基金。其联合创始人陈源培同样出生于2001年，曾就读于北京大学与斯坦福大学，师从AI领域知名学者李飞飞。耶鲁博士毕业的杨丰瑜在2024年回国创立具身智能公司优理奇，完成数亿元天使轮融资；由三位“00后”创立的AI招聘网站Mercor也在2025年宣布完成1亿美元B轮融资，公司估值达20亿美元。

这批年轻创业者的崛起，标志着AI领域正进入一个由“Z世代”主导的新阶段。他们的背景横跨学术、产业与资本，技术路线覆盖基础研究到应用落地，共同推动着行业向更可靠、更高效的方向发展。