说句实在话，现在美国硅谷最火的是一群刚成年的00后！
尤其是那个来自广州、24岁就估值超20亿人民币的中国姑娘洪乐潼。
她没产品、没客户、连官网都还没搭好，却让B Capital这样的顶级风投抢着砸钱。
这不是神话，是AI时代对“硬核天才”的疯狂溢价。
洪乐潼，潮汕籍的广州靓女，华南师大附中毕业，高中时就是奥数省队常客，“华罗庚金杯”拿奖拿到手软。
2022年，她成为中国仅有的四位罗德奖学金得主之一，去牛津读神经科学，之后又杀到斯坦福，同时攻读数学博士和法学。
但就在2024年，她做了一个让所有人意外的决定：退学创业。
原因很直接，她发现当前的大模型在数学推理上全是“幻觉”，而她手握真正的“理科大脑”。于是，Axiom Math诞生了。
这家公司不搞花哨的聊天机器人，目标只有一个：打造能自主提出并证明数学定理的AI系统。
今年初，他们的AxiomProver用Lean语言，无人干预地完成了两个悬置数十年的埃尔德什猜想的形式化证明。
这在全球学术圈炸了锅。要知道，这类问题连人类数学家都头疼几十年。
更狠的是团队配置。
洪乐潼不仅挖来了自己在弗吉尼亚大学的博导小野健。
这位可是解析数论领域的世界级专家，还集结了前Meta FAIR研究员、Open Go项目CTO Shubho Sengupta，以及数学AI先驱Francois Charton。
这种人才密度，堪比早期的OpenAI。
从另一个角度看，洪乐潼不是孤例，而是硅谷00后创业浪潮的缩影。
这群年轻人有个共同点：不靠PPT融资，不讲“颠覆行业”的大话，专挑最难的技术难题死磕。
比如MIT的Karun Kaushik，宿舍里写代码就拉起团队；22岁的Foody创办Mercor，做AI招聘系统，连OpenAI都成了客户；23岁的Rithika Kacham搞图像识别，目标是让AI“看”得比人准。
他们不拼资历，拼的是对算法的直觉和跨学科整合能力。
说句实在话，在AI这个赛道，经验正在快速贬值。
一个40岁的传统程序员，面对大模型的突变可能束手无策；而一个24岁的数学博士，却能用形式化验证+概率推理+神经符号系统，构建出下一代AI推理引擎。
这已经不是代际竞争，而是认知维度的碾压。
而在中国，情况略有不同。
咱们的00后更多是“学院派硬核输出”，像DeepSeek的核心算法团队，清一色清华姚班、北大图灵班的95后、00后。
深圳的具身智能创业圈里，哈工大、北航毕业生扎堆搞外骨骼机器人。
他们未必当CEO，但已是技术攻坚的主力。
洪乐潼的特殊在于，她把中美两种路径融合了：中国式扎实训练 + 美国式敢赌敢退 + 全球顶尖人才网络。
这也解释了为什么B Capital愿意在公司尚无产品时，就给出3-5亿美元估值。
他们买的不是公司，是未来十年AI数学基础设施的门票。
洪乐潼的故事，不只是一个天才少女的逆袭，更是AI时代对“真才实学”的重新定价。
当世界不再为PPT买单，而为可验证的数学证明疯狂，我们才真正看清：未来的造富密码，藏在定理与代码之间。
热门跟贴