广州天河区24岁斯坦福女博士，零产品公司为何估值5亿美金？

00后、斯坦福、女博士、5000万融资、3-5亿估值——这些标签使洪乐潼 (Carina Hong) 和她的数学AI初创公司Axiom Quant成为国内外投资圈焦点。

6月3日，《The Information》报道称这位从广州走出的数学天才、斯坦福大学数学与法律双博士在读生，正为她的初创公司Axiom Quant筹集约5000万美元的融资，公司估值预计达到3-5亿美元，B Capital（波士顿投资）可能领投。

值得关注的是，Axiom Quant成立仅一个月，目前0产品0用户，却锁定对冲基金、量化交易员等高端客户，宣称要用AI解决复杂数学证明的难题，为金融公司提供高效的量化解决方案。

而这位00后创始人洪乐潼的履历更加令人惊叹：三年内完成MIT（麻省理工）的数学与物理本科双学位，一年斩获牛津大学神经科学硕士，现于斯坦福大学攻读数学和法学跨学科博士，其强悍的学术背景引发业界高度关注。

从广州奥数天才少女到跨界学术先锋

2001年广州梅雨季，洪乐潼出生于天河区的一家小医院。作为未受过高等教育的普通务工者，她的父母从潮汕老家来羊城打拼，在城市中维系着平凡的生计。尽管家庭经济条件有限，母亲仍全力支持女儿的学业发展，为她报名了免费的奥数培训项目——这成为了洪乐潼数学兴趣萌芽的起点。

初中时，MIT已成为洪乐潼的目标院校，她常于草稿纸边缘书写校名“MIT”以自勉。凭借突出的数学天赋与刻苦学习，她提前被华南师大附中广东奥校高中数学特长班、大学先修实验班录取。2017年，她入选广东省中学生英才计划，师从中山大学与中山医学院双聘教授王学钦，在“华罗庚金杯”数学竞赛、全国高中数学联赛等赛事中成绩优异。

在广州数学会主办的省队选拔现场，1000名考生与家长挤满礼堂。这场实行淘汰制的免费选拔最终仅录取25人，每周都有选手因成绩落选离场。洪乐潼最终入选了CMO省队，成为25人中仅有的4名女生。这时，她的父母清晰地认识到女儿的数学天赋，也萌生了支持她迈向更广阔平台的想法。

高三那年，洪乐潼向麻省理工学院（MIT）递交了申请，正式向多年来魂牵梦绕的学术殿堂发起冲刺。出身普通工薪家庭的她，既没有显赫的身份背景，也缺乏广泛的人脉资源，但凭借着对自己近乎严苛的要求，在数学领域深耕，将竞赛佳绩、科研成果和学术潜力汇聚成近乎完美的申请材料。最终，这份优秀的答卷成功叩开了MIT的大门。

进入这所顶级学府后，她本意向量化金融领域发展，却因对数学的热爱在学术领域不断深耕，取得了许多数学奖项的成就，如美国女性数学家协会每年只给一名数学专业的女性颁发的Alice T. Schafer Prize、美国数学协会和相关机构联合颁发的Frank Brennie Morgan Prize等。洪乐潼总计发表过10篇学术论文，其中9篇是在大学时期发表，研究覆盖数论、弹出栈排序算法、应用数学、组合学及代数几何等前沿领域。

同时，她担任学生组织要职，并在国际会议上演讲，履历堪称完美。她说：“在知识的世界里，我得以环游世界。”她在推特（X）上的座右铭 “热爱数学就如同看见上帝的面容”也映射出她对学术的狂热。

出于对本科专业数学、物理之外科学领域的兴趣，洪乐潼在斩获牛津大学罗德奖学金后，毅然决定赴英国攻读神经科学硕士学位。在此期间，她曾在伦敦大学学院盖茨比计算单位作为第一作者开展深度学习研究项目，正式踏入AI领域。

当她在神经科学领域完成深造后，又因对科学之外人文学科的强烈好奇，成为斯坦福大学Knight-Hennessy学者，开启了数学与法律双学科博士项目的研究。在这一系列跨界探索中，唯有对数学的热爱始终如一地贯穿其学术轨迹，成为她学术生涯中不变的底色：“我始终以研究者的身份自居，渴望攻克真正的技术难题。”她关注AI与数学的互动边界：“人工智能与数学家的互动未来会走向何方？应用科学家又将如何与人工智能数学家协作？这些都是我希望在后续研究中着力探索的难题。”

公司技术方向：用形式化数学证明，重构AI高等数学求解能力

斯坦福大学2025年人工智能指数报告显示，人工智能系统在GSM8K和MATH等主要评估高中和大学数学水平的基准测试中，表现已接近完美。然而，在高等数学基准测试发布时，Gemini 1.5 Pro仅解决了2%的高等数学问题，OpenAI的o3模型也仅获得25.2%的分数。前沿数学(FrontierMath)高等数学基准测试的创建者们希望，在未来几年里，该基准测试能够不断带来挑战，促使尖端AI系统升级。

洪乐潼的Axiom Quant正是为了解决AI在高等数学问题解答与证明上的缺陷。今年4月，在一场关于超级人工智能的讨论会上，洪乐潼指出了现有AI模型的不足：“它们在证明方面的表现仍然相当糟糕。”她表示，尽管大语言模型可能在美国数学邀请赛中得到96%的分数，但是如果要求它们展示证明过程，它们的最终得分就会降到5%。洪乐潼认为人工智能必须学会证明，而不仅仅是回答问题——这样才能使人类信任这些运算系统的结果。

Axiom Quant定位“数学AI”，让AI“真正理解数学本质和逻辑结构”，其核心理念是通过形式化数学证明训练大模型，以实现类似数学家的证明过程。具体而言，Axiom的训练数据来自已被证明的定理和公认的数学公理，通过严密的逻辑推理验证数学命题的真伪。这一技术路径直指对冲基金等机构的痛点——它们需要高效、高可信度的量化模型，而传统AI无法满足其严谨性的要求。

Axiom Quant译为“公理量化”。洪乐潼曾在2024年8月的CGTN广播采访中提到数学界新纳入的公理——“数学潜力在不同群体中均等分布，与地理、人口统计及经济界限无关。”这一表述打破了传统认知中背景条件对数学能力的预设，将“公平性”纳入数学公理体系的底层逻辑，也同样与洪乐潼从广州走向世界的经历相互呼应。“公理”作为数学理论的基石，在其学术路径中起到了至关重要的作用，也体现了Axiom Quant让AI数学证明规范化与社会科学问题数学化的愿景。

融资争议与行业逻辑：0产品为何能获高估值？

据6月3日的报道，Axiom Quant目前正在洽谈一轮融资，目标融资金额为5000万美元，公司估值预计在3亿-5亿美元之间。知情人士透露，美国知名风险投资机构B Capital（波士顿投资）正在商讨领投此轮融资，但交易尚未最终敲定，具体条款或有变化。此前，B Capital曾投资多家AI初创企业，如Apptronik，Icertis，Lambda等。

有意思的是，洪乐潼于6月6日在知乎平台上回应称“The Information泄露了我们（并不准确）的融资信息”，否认相关报道——尽管她并未在海外自媒体账号发布相关言论。与此同时，Axiom Quant正在积极招揽国内外人才。洪乐潼的领英及知乎账号都已发布招聘信息，积极组建团队，为后续研发做准备。

那么，一家尚无产品的AI初创公司为何能获得如此高的估值和融资额？业内分析认为，关键在于创始人洪乐潼的个人实力与数学AI在金融和科研等高端应用场景中的长远潜力。

正如雷军所言，投资，“人靠谱比什么都重要。”洪乐潼的学术履历堪称传奇：MIT、牛津、斯坦福的教育经历，24岁却已发表10篇前沿学术论文的能力，以及数学奥赛、各类奖项和奖学金的殊荣，使她在投资人眼中极具吸引力。

Axiom Quant在AI数学垂直领域的聚焦，可能也是投资人愿意为之买单的关键。其一，这类由学术派年轻人主导的项目近年来备受资本关注；其二，当前对冲基金和量化交易机构对数学模型的准确性和可靠性要求极高，而现有通用模型在复杂数学理论上仍存在不足，Axiom的定位恰好满足了这个市场需要。

行业趋势：从通用大模型到严谨逻辑主义AI

当前AI领域正分化出两条路径：OpenAI等大厂聚焦通用模型，而Axiom、Harmonic等初创公司深耕垂直场景。资本市场对“高可信度AI”和具备多步骤逻辑推理能力的专业应用模型需求激增。一方面，OpenAI、谷歌等大厂的通用大语言模型在数学推理和严谨证明方面依然存在漏洞，无法保证答案的准确性。另一方面，新一代细分领域专用模型正在崛起，如法国开源公司Mistral AI推出的专注数学推理AI MathΣtral，深度求索（Deepseek）发布强调推理能力的模型Deepseek-R1，Google在科学计算和算法方面独具优势的Deepmind。这些AI大模型都会与Axiom Quant形成差异化竞争。

尽管目前市场上缺乏既能正确解答高等数学问题又能严谨证明逻辑的AI大模型，但数学AI领域仍面临着不小的竞争压力。比如，由美国券商Robinhood 的CEO Vlad Tenev于2023年创办的数学AI初创公司Harmonic也同样聚焦让其AI用严谨逻辑和数学计算解决商业公司的市场分析和量化难题。Harmonic首轮融资7500万美元，估值3.25亿美元，投资方也包括知名投资公司Sequoia Capital (红杉资本)，Axiom Quant的出现会与其直接对标。

于中国科创圈而言，洪乐潼的创业模式提供了新的启示。她将纯粹的学术训练与前沿的AI创新结合，体现出对技术深度与应用场景的双重重视。在国内，不论是深度求索这样的AI独角兽还是大厂高管们各自建立的垂直领域AI初创公司，都开始突出模型的推理能力和场景应用，显示出产业界正在重新评估自主创新的潜力。洪乐潼所代表的跨界思路，以及资本对更加严谨的AI产生的浓厚兴趣，都可能促使国内AI创业者在细分赛道，如高端金融科技与科学计算领域，考虑引入更严密的数学推理方法。

00后AI创业军团崛起

洪乐潼并非是孤身在闯AI创业赛道的00后。她的MIT师兄Michael Truell和他的朋友们创立的Anysphere，本月刚完成新一轮9亿美元融资（约合人民币65亿元）,公司估值飙升至99亿美元（约合人民币710亿元），一跃成为今年最炙手可热的AI编程独角兽企业。Anysphere开发的AI Cursor是编程辅助工具，利用AI技术帮助开发者更高效地编写代码。

四个月前，由三位00后创立的AI招聘网站Mercor也宣布完成1亿美元的B轮融资，公司估值达20亿美元（约合人民币140亿元）。短短两年，Mercor凭借其独特的商业模式和出色的运营，成长为百亿级别的独角兽。

同为00后的杨丰瑜在耶鲁博士毕业后选择回国创业，在去年成立了具身智能公司优理奇（UniX AI），5个月内便完成了一款轮式人形机器人的研发制造，已于上个月完成数亿元的天使轮及天使+轮融资。

这些00后创业者们的成功绝非偶然。作为互联网原住民，他们自幼接触智能设备，对新技术有着与生俱来的敏感度和接纳能力，能够迅速掌握并运用最新的AI技术，将其转化为实际的商业应用。同时，AI技术的快速迭代与工具开源化，极大地降低了创业门槛，小团队甚至个人开发者都能以较低的预算实现技术落地。这使得00后创业者们能够更加便捷地、快速地搭建起自己的创业项目。

结语：

当00后博士用数学重构AI规则

Axiom Quant提出的“数学AI路线”实际上是一场技术冒险：若能成功落地，它有望为对冲基金等场景提供颠覆性工具，也可能推动AI参与科研突破。正如黄仁勋所言，“未来十年，AI将成为无所不在的社会基础设施。”在这场浪潮中，00后的创业者们也逐渐站在风口上，洪乐潼和她的同行们正在改写游戏规则。从“0产品0用户”到商业落地，Axiom的下一步不仅关乎一家公司的成败，更将检验“严谨逻辑主义”AI的可行性与科技价值——这场冒险，才刚刚开始。