24岁广州女学霸洪乐潼：从奥数奖牌到AI创业，首轮融资4.6亿的数学突围者

在人工智能创业的浪潮中，一群年轻的00后创始人正以惊人的速度崭露头角。他们凭借独特的学术背景和对新技术的敏锐洞察，在AI领域掀起了一场属于年轻一代的创业革命。

免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈

近日，一家名为Axiom Math的AI公司完成了首轮6400万美元融资，投后估值达3亿美元。这家由00后洪乐潼创立的公司，正致力于开发一个能够自我提升的超级智能推理系统。令人瞩目的是，其核心团队仅有10名全职员工，却汇聚了多位来自meta的AI技术专家。

洪乐潼的学术履历堪称耀眼。这位24岁的广州姑娘，中学时期就读于华南师大附中，是数学奥林匹克省队中为数不多的女生之一。她先后在麻省理工学院获得数学和物理双学位，在牛津大学攻读神经科学硕士学位，目前正在斯坦福大学同时攻读数学和法学博士学位。她的研究领域横跨模椭圆曲线、月光猜想等前沿数学领域，曾获得摩根奖等重要学术荣誉。

Axiom的诞生源于一次偶然的咖啡馆对话。去年秋天，洪乐潼与当时在meta工作的Shubho Sengupta深入交流了数小时，探讨了人工智能解决复杂数学问题的可能性。这次对话激发了她的创业灵感，不久后她便从斯坦福退学，全力投入Axiom的创建。公司的会议室以高斯、阿达·洛夫莱斯等数学巨匠命名，彰显着团队对数学传统的尊重。

Axiom的核心技术在于将教科书、论文中的数学内容转化为程序化知识，使AI能够解决复杂数学问题并进行验证。这一创新源于洪乐潼对当前AI大模型局限性的深刻洞察。她曾指出，ChatGPT o3在数学测试中表现优异，但当要求展示证明过程时准确率大幅下降，这暴露了现有模型在数学推理上的不足。

Axiom的团队构成极具特色。CTO Shubho Sengupta曾领导meta FAIR团队开发OpenGo和CrypTen，是CUDA技术的早期开发者之一；François Charton在meta负责大语言模型在数学领域的应用研究；Hugh Leather则开发了首批用于编译器和GPU代码生成的大语言模型。这样的技术背景，使Axiom在AI数学推理领域具有独特优势。

领投方B Capital合伙人评价称，Axiom团队具备将先进数学推理技术转化为现实产品的独特能力。他们认为，能够提出新的定量假设并进行验证的工具，将为决策提供可靠依据，具有极高价值。这种评价反映了资本市场对年轻创业者技术实力的认可。

在全球范围内，00后创始人正在AI领域形成一股不可忽视的力量。麻省理工学院的Jessica Wu和尼尔·德什穆克创立的Sola Solutions获得2100万美元融资；Anysphere的四位麻省理工毕业生开发的产品Cursor正在改变编程方式；Mercor的三位00后创始人从大学退学后，将公司估值推至20亿美元。

国内市场同样涌现出众多00后创业项目。清华大学的闵宇恒、程颐、李宜哲创立的零次方机器人公司完成亿元级融资；灵初智能的联合创始人陈源培作为斯坦福访问学者，师从知名教授；UniX AI创始人杨丰瑜从耶鲁大学博士毕业后回国创业。这些年轻创业者正在用实际行动证明，年龄不是障碍，创新没有边界。

投资人普遍认为，在AI这样的新兴领域，年轻创业者往往具有独特优势。他们没有传统经验的束缚，对新事物的感知更为敏锐。正如真格基金管理合伙人戴雨森所言，创业在很多时候属于年轻人，无知者无畏的精神往往能催生创新想法。这批00后创业者，正在用他们的智慧和勇气，在AI领域书写属于自己的传奇。