疯投天才（天才疯子的四个意外）

最近美国硅谷的投资圈，突然被一个“后”中国女孩刷屏，全世界都被她的故事燃爆了。说的就是生于广州的洪乐潼，仅用一年时间，把自己创办的Axiom直接做成了估值亿人民币（亿美元）的大独角兽。这速度，别说硅谷，就连中国看的人也都震了。

很多人之所以对洪乐潼印象深刻，除了她岁就实现这种成就，更有她的成长轨迹以及创业初衷——她不是为了蹭风口，更像是带着使命，把AI行业最难的技术难题直接怼穿。从广州普通工薪家庭，到MIT、牛津、斯坦福三所世界顶尖高校的学霸，再到硅谷独角兽的主理人，这整条线看下来，真的有点热血漫画女主的味道。

洪乐潼小时候就特别爱数学，华南师范大学附中的时候已经是广东奥数省队的核心，连续夺得了“华罗庚金杯”等多个数学比赛奖项。其实她的父母就是普通务工者，家里的条件并没有太多“学霸基因”，完全属于自带天赋和自驱力。从高一入选中大“英才计划”开始，就一路横扫各种竞赛。

岁考进MIT，主修数学和物理，还当上了校数学协会主席。她本科只用3年时间把双专业给学完，而且读了门研究生课，发表了9篇学术论文，硬核到在顶级数学领域搞出了新成果。比如“模椭圆曲线”、“K3曲面上的L函数”、还有“月光猜想”之类听起来就很玄乎的高等研究。不到岁，她就拿下了“摩根奖”等一堆顶级荣誉，也斩获了号称本科诺贝尔的牛津罗德奖学金。

然后这姑娘还不走寻常路。牛津读神经科学硕士的时候，直接在盖茨比计算单位做深度学习研究，一脚踏进AI领域。年还选择进斯坦福，攻读数学和法律的双博士，妥妥的“学神”配置。不过最戏剧性的转折，就是她去硅谷的那个决定。

其实洪乐潼对AI的狂热，背后有个很正的痛点。她根本看不上现在主流AI的“概率正确”——像ChatGPT，就算语文、数学成绩一度爆表，但一旦让它严谨地输出完整证明，准确率会瞬间从%暴跌到5%。AI在数学、代码、金融等场景，只要出错一次，成本可能是巨大的。

洪乐潼感觉，自己一定要搞出一款像数学家那样“步步可验”，完全可机器检查的AI。年秋天，她和前Meta AI研究员Shubho Sengupta在斯坦福校外的咖啡馆长聊，一拍即合，几个月后一群顶尖大牛就在旧金山成立了Axiom。团队规模不大，才十来个人，每个都是狠人。比如CTO、科学家Francois Charton、还有GPU代码高手Hugh Leather，个顶个都有震撼背景。

Axiom的野心其实很直接——把AI的推理能力，做到每一步都像数学证明那样，机器可以复查，不给“蒙对”留一点空间。为此他们用上了专门做形式化证明的Lean语言，让AI写出来的解题思路，所有逻辑都能自动检验。传统AI给你一个结果，你最多“信它”，但Axiom系统直接让你明明白白“看”到证据，每一步都无懈可击。

那这套东西究竟行不行？去年的普特南竞赛可以说是真金白银的检验场。北美数学竞赛里，学校顶流都被血虐，第题全做对近百年也才5人，Axiom的AI直接干到满分，题全对。这成绩震动了整个圈子。而且，Axiom的系统在年月还解决了两个数论领域的二十年老猜想，全程靠机器搞定，连人干啥都不用。速度甚至比人类快了几百倍。

可是做这种极端“死磕”的AI解决方案，对团队的吸引力要求极高。有意思的是，年月，弗吉尼亚大学的终身教授、世界级数学家Ken Ono竟然辞去铁饭碗，正式加入Axiom。他原本根本不信AI，还老爱开玩笑讽刺行业泡沫，结果遇见Axiom后，人直接“上头”投奔。原因很简单，Ken Ono觉得亲眼见证了“数学超级智能的可能性”。他既担任创始数学家，还号召老朋友们加入。有投资人都说，这种天团组合真的行业罕见。

当然，Axiom能做成这样，绝不是“天才带队+学术梦想”这么简单。团队里还有很多跨行业人才，比如有主导过Google分布式系统，有开发CUDA的科学家，也有掀起AI证明领域风暴的Charton。就连公司招聘都变成了一场精英拼图，岁的洪乐潼用脚踏实地的执行力，吸引了一票人疯投自己的青春。这么牛的团队，公司一年能拉到2亿美元A轮融资、估值一下子翻到亿美元，其实不算离谱。最早的种子轮Axiom Math就有万美元，彼时估值3亿美元；等到A轮到手，已经成了行业内最受关注的独角兽。

别以为后创始人只有洪乐潼一个，她身边、圈内还有一大批同龄人都开始冲击AI世界。比如Mercor，三个后创立，估值突破亿美元；灵初智能、优理奇、Sola Solutions等公司，基本创始人都是“后+名校背景”。Jessica Wu就是很典型的麻省理工辍学生创业，一下子就完成亿元人民币融资，还被投行圈追着夸；哥伦比亚大学的Roy Lee更是因为开发Interview Coder被退学，结果靠这个项目完成“黑马逆袭”，公司周内盈利，估值很快超亿美元。这波后真的什么都敢，什么都能干。

你细看这一拨人的故事，就能发现他们的底层逻辑全变了。能读那么多顶尖名校，学的都是数学、计算机、AI这种硬核专业，拿奖能堆一墙。可是真正厉害的，是他们不盲目跟风、不为风口活着，而是死磕自己的问题感，把学业和技术问题转化成公司产品，真刀真枪打硬仗。

而且这些人的资源整合力、国际化视野，已经不是上一代创业者能比的。放弃“标准答案”，敢于自己定人生方向。洪乐潼很少谈“AI风口”，更关心问题本身和未来科技的上限。她公开说过，Axiom要做的不只是补AI现有的缺陷，更要站在超级智能的新起点，把AI的能力推到极致。

洪乐潼的逆袭路径，不只是个人传奇。她是新一代后创业者的缩影，也是中国年轻科技力量正在全球科技产业重塑话语权的例证。AI的天花板到底在哪，最后会是谁来突破？或许答案就在这些不停行动的“理想主义者”手里。