25岁数学天才少女洪乐潼拿下超14亿融资事件概述 一、事件核心：天才少女的创业奇迹 1. 人物背景 · 姓名：洪乐潼（Carina Hong），2001年出生于广州，父母为普通务工者。 · 学术履历： · 17岁考入麻省理工学院（MIT），3年完成数学与物理双学位，发表9篇学术论文，研究方向涵盖模椭圆曲线、K3曲面等基础数学领域。 · 获全美女性数学家最高荣誉Alice T. Schafer数学奖、北美数学本科生杰出研究奖AMS-MAA-SIAM摩根奖。 · 2021年获牛津大学罗德奖学金（被誉为“本科诺贝尔奖”），攻读神经科学硕士，期间转向AI领域研究。 · 进入斯坦福大学攻读数学与法律双博士学位，后辍学创业。 2. 创业成就 · 公司名称：Axiom（公理），目标打造“AI数学家”，通过形式化验证技术确保AI推理过程的严格性。 · 融资历程： · 2024年8月：完成960万美元种子轮融资（约6600万元人民币）。 · 2025年3月：完成2亿美元A轮融资（约14亿元人民币），领投方为Menlo Ventures，估值达16亿美元（约110亿元人民币），跻身全球独角兽行列。 · 技术突破： · 核心系统在普特南竞赛中斩获12题全对（近百年仅5人达成）。 · 自主证明多个开放性数论猜想，验证了AI在数学证明领域的潜力。 二、事件亮点：天才、资本与技术的三重奏 1. 个人天赋与努力 · 洪乐潼自幼展现数学天赋，高中阶段在奥数竞赛中屡获佳绩，后以“研究型数学”为志，挑战高难度领域。 · 本科期间发表9篇论文，获北美数学界最高荣誉，学术成就远超同龄人。 2. 创业理念与市场洞察 · 痛点解决：针对AI大模型可靠性问题，提出通过数学证明确保推理过程严格性，填补市场空白。 · 商业应用：目标客户为对冲基金、量化交易公司，解决资产定价、股市预测等复杂数学问题，直击金融行业痛点。 3. 资本青睐与团队实力 · 投资方：Menlo Ventures、Greycroft、Madrona Venture等顶级风投，以及英伟达、红杉资本等战略投资者。 · 团队背景： · CTO Shubho Sengupta（前Meta AI研究总监）。 · 首席数学家小野健（Ken Ono，模形式领域泰斗，美国数学学会前副会长）。 · 团队一半成员来自Meta AI研究院，技术实力雄厚。 三、事件影响：00后创业潮与AI数学领域的新标杆 1. 个人层面 · 洪乐潼成为全球最年轻的独角兽创始人之一，其“学术-创业”跨界路径为年轻人提供新范本。 · 退学创业的选择引发对“传统教育路径”与“创新实践”的讨论。 2. 行业层面 · AI数学领域：Axiom的技术路径（形式化验证）为AI可靠性问题提供新解法，可能推动行业标准化进程。 · 竞争格局：与估值14.5亿美元的竞争对手Harmonic相比，Axiom以更快速度达成数学里程碑，形成差异化优势。 3. 社会层面 · 00后创业者集体登场（如灵初智能陈源培、优理奇杨丰瑜等），反映新一代对技术创新的热情与资本市场的支持。 · 洪乐潼的“潮汕女孩”身份与普通家庭背景，打破“精英创业”刻板印象，