当00后群体开始在人工智能领域崭露头角，科技创业圈正经历一场前所未有的代际变革。由24岁华裔女生洪乐潼创立的AI数学公司Axiom Math，近日宣布完成6400万美元首轮融资，投后估值达3亿美元，这一消息在硅谷和学术界引发强烈关注。
这位出生于广州的数学天才，其学术履历堪称惊艳：华南师大附中奥数竞赛常胜将军、麻省理工数学与物理双学位、牛津大学罗德奖学金获得者、斯坦福大学数学与法学双博士在读。更令人瞩目的是，她仅凭10人团队就打造出能自我进化的AI数学推理系统，该系统可将数学文献转化为可验证的程序化知识，潜在应用场景覆盖金融建模、芯片设计到量化交易。
公司核心技术团队清一色来自meta等科技巨头。CTO Shubho Sengupta曾主导开发OpenGo和CrypTen，是CUDA技术早期开发者；数学负责人François Charton自2019年就探索Transformer解决复杂数学问题；首席科学家Hugh Leather则开发出首批编译器生成大模型。这个"AI梦之队"的组建，源于洪乐潼去年在斯坦福咖啡馆与Sengupta的一次即兴交流，两人关于数学与AI交叉点的讨论，直接催生了Axiom的诞生。
该项目的起源颇具戏剧性。当发现ChatGPT o3在数学测试中存在"记忆作弊"现象时，洪乐潼通过实验证明：大模型在要求展示证明过程时准确率骤降91%。这个发现直指当前AI数学的痛点，也让她看到组合数学领域的机会——这正是她在斯坦福的研究方向。Axiom系统通过将数学理论转化为可验证的推理链，试图解决传统大模型"知其然不知其所以然"的缺陷。
领投方B Capital合伙人评价道："在数学发现即将迎来指数级增长的时代，能提出新假设并验证的工具具有革命性价值。"这种判断在投资市场得到验证：Greycroft、Madrona等顶级机构跟投，使这家初创公司估值突破20亿元人民币。
在洪乐潼的规划中，Axiom不仅是技术工具，更是数学发现的引擎。她曾以DeepSeek团队为例："小而专注的团队，带着理想主义的信念，这种模式正是我想复制的。"公司会议室以高斯、阿达·洛夫莱斯等数学巨匠命名，暗示着对科学传承的追求。
这股00后创业潮正在全球蔓延。麻省理工学院22岁的Jessica Wu和23岁的尼尔·德什穆克创立的Sola Solutions，今年完成2100万美元融资；由MIT四位毕业生打造的AI编程工具Cursor，估值已达90亿美元；哈佛退学生创立的AI招聘平台Mercor，更是以20亿美元估值完成B轮融资。国内清华"00后极客"团队创立的零次方机器人，也获得亿元级融资。
"当技术变革足够快时，经验反而成为枷锁。"真格基金戴雨森的观察，道出了这代创业者的独特优势。他们没有历史包袱，对新技术保持着孩童般的好奇心。正如洪乐潼在斯坦福退学时所言："我想亲自书写数学发现的未来。"这种破釜沉舟的勇气，或许正是AI时代最需要的特质。
