别吹网红了！这位00后潮汕姑娘，靠数学干出百亿AI公司 同样是00后，有人在直播间带货，有人靠颜值出圈，而广州这位潮汕姑娘，直接用硬核数学，震惊了整个硅谷创投圈！ 2001年出生的洪乐潼，爸妈都是普通打工人，妥妥的寒门出身，却一路开启了开挂般的人生： 17岁冲入麻省理工，三年修完数学物理双学位，连发9篇高端论文， 斩获北美数学本科最高荣誉和全美女性数学家最高奖，20岁赴牛津读硕士，23岁进斯坦福读博，为了创业说退学就退学，转身扎进AI赛道。 在她看来，当好奇心与真理之间只差一次验证时，压缩这个过程的时间，就是最大的商业价值。 “科学突破往往需要两步：提出假设，再用证明去验证。我们创立Axiom，就是要无限压缩把好奇心转化为真理的时间。” 数学，才是AI的终极防线 这家叫Axiom的公司，到底凭什么让资本疯狂砸钱？ 简单说，他们做的就是让AI说话算话——每个结论都必须用数学证明，不能瞎猜。 现在的大模型确实厉害，写诗写代码侃大山样样行，但有个致命问题：它自己都不知道自己在说什么，全是靠概率“蒙”的。平时聊天唠嗑图一乐也就算了，但要是用在金融交易、国防安全、核设施控制上呢？ 任何一次“猜错”，可能就是灾难。 Axiom的解决方案是用一种叫Lean的编程语言——这玩意儿专为数学证明设计，有个“变态”要求：通过它检验的结果，必须逻辑上绝对正确，不能蒙。 去年12月，他们的系统干了件大事：参加被誉为“本科数学奥林匹克”的普特南竞赛，12题全对拿满分。要知道，过去近百年，只有5个人做到过。 就这一年时间，融资近14亿，公司估值飙到110多亿，顶尖数学家、硅谷AI大佬抢着加入她的团队。 00后，正在接管AI 洪乐潼不是个例。 就在上周，同样是00后的陈源培，创立的灵动智能完成20亿元融资，还有优理奇创始人杨圭瑜，也是00后，刚拿了近3个亿。 有投资人甚至放话：如果团队里没有00后核心合伙人，可能就不投了。 为什么是年轻人？ 纪源资本管理合伙人符绩勋一句话点破：“每一个时代的创新，往往都是年轻人先跑出来，因为年轻人没有包袱。” 在技术重构世界的前夜，没有包袱，往往就是最好的行囊。 当DeepSeek火遍全球时，洪乐潼发过一段感慨： “一个小而专注、特立独行的团队，一群把文化、技术刻进骨子里的伙伴，一群理想主义者组成的优秀合伙伙伴，他们执行力超强，要为要活的内容负责的，有部分理想与使命。我多突出，在那只理想主义交织的信念。这就是DeepSeek的故事，也是我想要书写的故事，也是只属于自己，与的故事。” 如今，她正在写自己的故事。 融资14亿，只是刚刚开了个头。 过去洪乐潼和她的Axiom，把炮，会把硬核技术，把AI架在那道终极的“证明题”上，才刚刚写下“解”字。 没有炒作，没有流量套路，全靠真本事。 这才是00后该有的样子，这才是中国科技的未来！