摘要：“斯坦福的博士录取通知书还在抽屉里，融资到账的短信已经弹了出来。”24岁的广州姑娘洪乐潼对着电脑屏幕笑了笑，身后会议室的门牌上，“高斯”“阿达·洛夫莱斯”等数学巨匠的名字格外醒目。就在半个月前，她刚从斯坦福数学与法学双博士项目退学，拉着10个人创办的AI公司A

“斯坦福的博士录取通知书还在抽屉里，融资到账的短信已经弹了出来。”24岁的广州姑娘洪乐潼对着电脑屏幕笑了笑，身后会议室的门牌上，“高斯”“阿达·洛夫莱斯”等数学巨匠的名字格外醒目。就在半个月前，她刚从斯坦福数学与法学双博士项目退学，拉着10个人创办的AI公司Axiom Math，便拿到了B Capital领投的6400万美元融资，估值一举冲破20亿元人民币 。

洪乐潼

这场始于咖啡馆的创业传奇，像一颗火星点燃了00后AI创业的燎原之火。去年秋天，洪乐潼在斯坦福附近的咖啡馆偶遇Meta前AI大牛Shubho Sengupta，从午后聊到黄昏，咖啡续了三杯，话题最终定格在“AI做数学的致命bug”上——当时ChatGPT在数学测试中准确率号称96%，可一旦要求写出推理过程，分数直接暴跌到5%，本质是靠着训练数据“记答案”而非真懂逻辑 。“既然现有AI都是‘应试高手’，那我们就造个‘真数学家’。”这句闲聊时的感慨，成了她退学创业的导火索。

没人敢相信，这个刚满24岁的潮汕姑娘，真能啃下AI界的硬骨头。但翻开她的履历，质疑声会瞬间沉默：华南师大附中时是奥数省队仅有的四名女生之一，“华罗庚金杯”奖牌拿到手软；19岁考入麻省理工，拿下数学物理双学位，还捧走北美本科生最高荣誉摩根奖；22岁斩获有“本科诺贝尔奖”之称的罗德奖学金，在牛津读神经科学硕士时就偷偷研究AI与数学的交叉领域。当她带着“让AI写数学证明”的构想找上门时，曾领导Meta FAIR团队的Shubho二话不说辞了职，成了她的CTO，CUDA早期开发者、Transformer解数学题的先驱也纷纷加入，10人团队聚齐了AI与数学领域的“梦之队” 。

他们搞出的“AI数学家”一亮相就炸了场：国际数学奥赛60%的题目能“秒解”，还附带堪比顶尖学者的详细验算过程，ICLR 2024的评审看完推演过程集体沉默，只留下一句“像外星人写的”。更绝的是它的应用潜力——华尔街的精算师排着队送合同，Axiom开口要价2000万美元的高频交易模型，投行连砍价都懒得砍，生怕被对手抢了先。这背后是洪乐潼的核心打法：把教科书、论文里的数学知识转换成程序化内容，让AI不仅能解题，还能推理、验证，甚至未来可能提出新猜想 。

洪乐潼的横空出世，不过是00后AI“造神潮”的缩影。在硅谷，22岁华裔女生Jessica Wu从麻省理工退学创办的Sola Solutions，靠AI智能体处理金融单据，拿下a16z领投的1.5亿元融资，客户里不乏摩根这样的巨头；四位MIT毕业的00后搞出的AI编程工具Cursor，让8岁小孩能45分钟搭出聊天机器人网页，成立三年估值飙到650亿元，连OpenAI想收购都被拒了。国内更不逊色：清华三个00后做机器人，刚起步就拿了亿元融资；00后杨丰瑜从耶鲁博士退学回国做具身智能，被资本追着投 。

这群年轻人的崛起，藏着AI时代的新法则。他们是天生的“AI原住民”，10岁接触编程、15岁玩大模型成了常态，对技术的敏感度远超前辈。更关键的是，他们没有“经验包袱”——洪乐潼敢跨界把数学与AI拧成一股绳，Jessica Wu不怕颠覆传统RPA系统，这种“无知者无畏”恰恰戳中了AI创新的要害。资本也甘愿为他们下注：a16z给Anysphere投钱前，先主动送上稀缺的GPU资源；Conviction的合伙人郭睿直言，“越好奇、越敢犯错，越可能找到真相” 。

但“造神”从不是靠天赋开挂，而是实打实的深耕。洪乐潼刷过的奥数题库能堆到半人高，Jessica Wu在Citadel做量化时就摸清了行业痛点，Anysphere的创始团队一年迭代40次产品，把代码生成准确率磨到行业顶尖 。就像洪乐潼说的：“哪有什么突然的爆发，不过是把十几年的积累，砸进了AI这个风口。”

如今，Axiom的会议室里，数学公式和AI代码在白板上交织；Cursor的办公室里，25岁的创始人正盯着新功能数据；清华的实验室里，00后团队调试的机器人第一次平稳迈步。这些年轻的面孔证明，AI时代的“神”从不是天生的，而是用代码、思考和勇气，自己“造”出来的。

当洪乐潼的“AI数学家”开始尝试破解世界级难题，当Jessica Wu的智能体解放了上万名白领的双手，我们突然明白：00后不是在追逐AI风口，他们正在亲手定义这个时代。这场“造神潮”的本质，不过是一群年轻人拿着新技术，把曾经的“不可能”变成了“正在发生”。而这，才只是开始。

来源：番小茄影