岁00后洪乐潼:融资4亿,领跑AI数学新赛道

日期:2025-10-06 15:28:59 / 人气:15

创投圈的00后面孔正以惊人的速度崭露头角。近期,AI初创公司Axiom Math正式完成首轮6400万美元(约合人民币4.6亿元)融资,由B Capital领投,Greycroft、Madrona和Menlo Ventures等知名机构参与,投后估值高达3亿美元(约合人民币20亿元)。而缔造这一融资神话的,正是一位24岁的00后女生——洪乐潼(Carina Hong)。从广州的华南师大附中走出,到麻省理工、牛津、斯坦福的学术深造,再到退学创办AI公司,这位“数学天才少女”的创业故事,正在改写人们对年轻创业者的认知,也预示着00后正集体登上AI创业的舞台。
一、Axiom:10人团队估值20亿,瞄准AI数学难题
Axiom Math究竟有何魔力,能在成立初期就获得资本的重磅加持?官网显示,该公司定位为“以AI数学家为起点,打造一个能够自我提升的超级智能推理系统”。简单来说,这是一个专注于解决复杂数学问题的AI模型,不仅能生成分步推理的详细过程,还具备自我验证能力。其核心逻辑是将教科书、论文和期刊中的英文数学内容转换为程序化知识,让人工智能真正“理解”数学,而非单纯依靠训练数据中的题目进行“记忆式作答”。
这一赛道的选择并非偶然。今年ChatGPT o3被爆出数学测试作弊事件,洪乐潼在社交媒体上指出,OpenAI等大模型在数学测试中表现优异,可能是因为训练时已接触过相关题目。她举例称,部分大语言模型在美国数学邀请赛中准确率可达96%,但要求展示证明过程时,分数骤降至5%。“问题出在训练方式上”,而当前AI大模型难以攻克的组合数学问题,正是洪乐潼的研究专长。在她看来,人工智能正为数学领域带来历史性转折点——数学发现有望以指数级速度发展,一场由“人工智能、编程语言、数学”三大支柱支撑的数学复兴即将到来。
值得一提的是,尽管Axiom目前仅有10名全职员工,但团队堪称“豪华”。CTO Shubho Sengupta曾领导Meta FAIR团队,开发出OpenGo和CrypTen,还是Google分布式训练系统与CUDA技术的早期开发者;François Charton在Meta负责大语言模型在数学和理论物理学的研究,2019年就开始探索Transformer技术在复杂数学问题中的应用;Hugh Leather则是Meta前AI研究科学家,曾开发首批用于编译器和GPU代码生成的大语言模型。顶尖的技术团队,成为Axiom吸引资本的重要筹码。B Capital合伙人评价道:“解决复杂数学问题是人类众多发明的核心,Axiom团队具备将先进数学推理技术变为现实的独特优势。”
二、洪乐潼:从“数学竞赛省队唯一女生”到AI创业者
Axiom的故事,离不开洪乐潼一路“开挂”的成长经历。1999年出生于广州的她,父母是土生土长的潮汕人,虽未接受高等教育,却培养出了女儿的数学天赋。中学时期就读于广东名校华南师范附中的她,是数学奥林匹克省队中唯一的四名女生之一,多次在“华罗庚金杯”、全国高中数学联赛等顶级赛事中斩获佳绩。2019年,她以优异成绩考入麻省理工学院,攻读数学和物理双学位。
本科期间,洪乐潼的学术潜力彻底爆发。她担任数学协会主席,修读20个硕博课程,发表多篇涉及模椭圆曲线与K3曲面的L函数、月光猜想等前沿领域的高质量论文。毕业时,她先后拿下Schafer数学卓越奖(每年仅颁发给一名本科女生)和北美数学本科生最高荣誉——摩根奖,成为第五位获此殊荣的女生。2022年底,她又成功获得有“本科诺贝尔奖”之称的罗德奖学金,成为四名中国获奖者之一,随后前往牛津大学攻读神经科学硕士,并在伦敦大学学院从事AI与机器学习研究。2024年8月,她进入斯坦福大学攻读数学博士和法学博士,却在不久后为了创业选择退学。
Axiom的诞生源于一次咖啡馆的交流。去年秋天,洪乐潼在斯坦福附近的咖啡馆与当时仍在Meta工作的Shubho Sengupta畅谈数小时,两人探讨了研究领域的交叉点以及用AI解决数学难题的可能性。这次对话让她下定决心创业,随后便从斯坦福退学,着手组建团队。如今,Axiom的会议室以高斯、阿达·洛夫莱斯等数学巨匠命名,彰显着团队对数学领域的敬畏与野心。洪乐潼曾表示:“内心深处最想要解决真正困难的技术问题”,而Axiom正是她实现这一愿景的载体。
三、00后军团崛起:AI创业潮中的“新生力量”
洪乐潼与Axiom的案例并非个例,00后创始人正集体登上AI创业的舞台。不久前,22岁华裔女生Jessica Wu和23岁尼尔·德什穆克创立的Sola Solutions,拿下由Conviction领投的350万美元种子轮和a16z领投的1750万美元A轮融资;今年5月,由麻省理工毕业生Michael Truell及其同学创办的AI编程公司Anysphere完成9亿美元融资,估值达90亿美元;3月,三位00后退学创办的AI招聘网站Mercor完成1亿美元B轮融资,估值20亿美元。
国内市场同样涌现出一批00后创业者。三个清华“00后极客”创立的机器人公司零次方,完成亿元级天使+和天使++轮融资;灵初智能联合创始人陈源培是痴迷机器人的00后,曾师从李飞飞教授;具身智能公司UniX AI创始人杨丰瑜出生于2000年,耶鲁博士毕业后回国创业,受到VC高度关注。
为何00后能在AI创业潮中迅速崛起?有投资人分析,AI领域的许多事物过于新颖,原有经验难以直接复用,而00后没有思维包袱,对新事物的认知触感更敏锐。真格基金管理合伙人戴雨森感叹:“创业在很多时候是属于年轻人的。诸多科技创新成果诞生,正是源于当事人虽了解却无所畏惧,由此萌生出创新想法。”从洪乐潼到更多00后创业者,他们正以“少年负壮气”的姿态,在AI的浪潮中书写属于自己的创业篇章。

作者:恒耀平台




现在致电 5243865 OR 查看更多联系方式 →

COPYRIGHT 恒耀娱乐 版权所有