专治AI说谎，25岁天才少女公司估值过百亿

2 小时前

AI资讯

1 阅读

背景：AI可靠性成为行业关键痛点

近年来，随着生成式AI技术的迅猛发展，模型在语言、图像等领域的表现日趋强大，但其可靠性问题却始终悬而未决。一旦AI在关键领域如金融、国防或基础设施中出错，后果可能极为严重。这一背景下，Axiom公司脱颖而出，致力于构建可验证人工智能（Verified AI），确保AI系统的每一步推理都能通过数学逻辑验证，而非依赖概率性预测。

创业者洪乐潼的成长与选择

洪乐潼（Carina Hong）出生于2001年，成长于广州一个普通务工家庭。她以惊人数学天赋进入华南师大附中，并在高中期间成为奥数省队极少数的女生之一。17岁进入MIT，三年内完成数学与物理双学位，发表多篇论文，随后获得罗德奖学金，进入牛津、伦敦大学学院和斯坦福深造。

2024年深秋，她与前Meta AI研究总监Shubho Sengupta在斯坦福附近的一次长谈中，开始思考AI是否能真正掌握数学推理。随后她决定退学创业，成立Axiom，专注于构建AI系统的数学验证机制。

“很多创业者做AI，是看到了巨大的商业机会。但我的思考路径不太一样。”——洪乐潼

技术路径：用数学证明重构AI逻辑

Axiom提出“可验证人工智能”的概念，其核心技术是利用Lean编程语言将数学证明转化为可执行程序。AI在生成答案的同时，必须通过验证器检查每一步逻辑的正确性，从而确保系统输出的可靠性。

这套验证机制在2025年12月的一次重大测试中展现了实力：Axiom系统在“普特南竞赛”中12道题全部答对，这是过去近100年仅有5位人类选手达成的成就。随后，系统又成功自主证明多个开放数论猜想。

洪乐潼表示，数学只是第一步，未来Axiom将致力于确保AI生成代码的正确性与安全性，为AI构建可信赖的底层基础设施。

Z世代AI创业者的集体崛起

Axiom并非孤立现象。2026年，多个00后创业项目引发资本关注：

郭航江（北邮大四学生）：用10天时间开发AI预测引擎MiroFish，模拟“数字平行世界”演化，获陈天桥3000万元投资。
陈源培（北大、斯坦福背景）：拒绝华为“天才少年”offer，专注机器人灵巧手技术，创业一年融资20亿元。
杨丰瑜（耶鲁博士）：尚未推出产品，已获数亿元融资，专注保姆机器人领域。
付智（清华学生）：在民房中打造“算力共享平台”，半年营收破两千万。

这些年轻创业者不再局限于开发工具或模型，而是重新定义AI的底层逻辑与应用边界，他们拥有更强的技术直觉、创新勇气与全球视野。

投资风向转变：为何“非00后不投”？

在AI创业热潮中，投资人对Z世代创业者的关注度迅速上升。一些风投甚至公开表示：“如果AI创业团队里没有00后核心成员，可能都不会投。”

这一趋势的背后有三方面原因：

技术代差带来认知优势
- 00后成长于互联网普及与AI兴起的时代，天然具备更强的数字直觉和技术理解能力。
- 他们不是“学习AI”，而是“生活在AI中”。
无历史包袱，敢于挑战范式
- 年轻创业者更愿意打破传统路径，尝试前沿方向。
- 洪乐潼从斯坦福退学、郭航江10天做出预测引擎、陈源培拒绝高薪选择创业，这些都体现出Z世代的自信与果断。
资本需要新故事与新增长极
- 移动互联网红利消退，投资人急需下一个确定性赛道。
- 年轻创业者象征技术革命的新起点，更容易激发市场想象力。