图灵汇官网

“00后正在加速进入舞台中央。”最近几天，一个不太熟悉的名字——洪乐潼频繁出现在AI投资者的讨论中。

这一切源于《The Information》的一篇报道。这家名为Axiom的AI初创公司，虽然还没有正式的产品和客户，也没有官网，却正在寻求5000万美元的融资，估值预计在3亿至5亿美元之间。有趣的是，这家公司计划利用AI技术攻克数学难题，与当下高考的热点相契合。

消息传出后，立刻引发了硅谷和国内创投圈的关注。而Axiom背后的创始人也迅速走红——这位推动Axiom成立的正是00后学霸洪乐潼（Carina Hong）。

洪乐潼在广州出生长大，曾在华南师范大学附属中学就读，多次在数学竞赛中获奖。后来，她考入麻省理工学院，之后又在牛津大学获得了硕士学位。如今刚满二十岁的她，正在斯坦福大学攻读数学和法学的双博士学位。尽管她在社交媒体上否认了关于融资的消息，但可以肯定的是，Axiom正在积极招聘AI数学相关的人才。

不知不觉间，00后的创业者们正逐步登上AI的舞台。

一位00后女性学霸崭露头角

来自广州

公开信息显示，洪乐潼是一位00后，出生在广州。她的父母是地道的潮汕人，未接受过高等教育，她是家中第一位大学生。

从小对数学充满热情的她，在广州的名校华南师范大学附属中学完成了中学阶段的学习，并多次在“华罗庚金杯”和全国高中数学联赛等比赛中取得优异成绩。

2019年，洪乐潼进入麻省理工学院，攻读数学和物理双学位。在校期间，她曾担任数学协会会长，并修读了20门硕士和博士课程，发表了多篇高水平学术论文，研究领域包括模椭圆曲线与K3曲面的L函数、月光猜想以及弹出栈排序算法等。

临近毕业时，洪乐潼屡获大奖。她先是荣获Schafer数学卓越奖，这是每年仅授予一名本科女生的奖项。随后，她又获得了北美数学本科生的最高荣誉——摩根奖，成为该奖项的第五位女性得主。

在学术界崭露头角是在2021年底，当时洪乐潼成功获得了牛津大学罗德奖学金，成为当年仅有的四位中国获奖者之一。

罗德奖学金是世界上最古老、最具声望的国际奖学金之一，被誉为“本科诺贝尔奖”。每年从全球选出约100名“罗德学者”，全额资助他们前往英国牛津大学深造。如今，已有数十位获奖者成为全球领导人，十几位获得了诺贝尔奖。

次年，洪乐潼前往英国牛津大学学习神经科学，获得硕士学位。在此期间，她还在伦敦大学学院从事人工智能和机器学习的研究。当时她说：“我对人工智能与科学家未来如何互动很感兴趣，这也是我接下来想研究的方向。”

到了2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士。在之前的采访中，她提到自己一直是一名研究者，内心深处渴望解决复杂的技术问题。很快，还在读博期间的她便进入了AI领域。

创业聚焦AI+数学

正在招贤纳士

洪乐潼的创业项目同样与数学密切相关。

根据《The Information》的报道，这家初创公司的名字叫Axiom，这个词来源于数学中的“公理”，是构建数学理论的基础。

Axiom专注于数学领域，通过学习严密的逻辑推理和数学证明的过程，AI能够像数学家一样构建和验证形式化证明，从而确保结果的准确性与严谨性。其潜在客户包括对冲基金和量化交易公司，可以帮助它们快速解决金融领域的复杂数学问题。

尽管Axiom目前尚未推出具体产品，但已吸引了投资者的兴趣。曾投资Perplexity等独角兽企业的B Capital正在就新一轮5000万美元的融资进行谈判，或许会领投。Axiom的估值预计在3亿至5亿美元之间。

不过，洪乐潼在社交平台上否认了这一融资传闻，称报道并不属实。

然而，Axiom确实是洪乐潼最新的创业项目，并且正在积极招募AI数学人才。

追溯她为何选择AI数学赛道，还有一段故事。今年早些时候，ChatGPT曾被曝在数学测试中作弊，洪乐潼在社交媒体上指出，OpenAI的大模型之所以表现出色，可能是因为训练数据中包含了这些题目。

她举例说，在美国数学邀请赛中，一些大型语言模型达到了96%的正确率，但当要求展示解题步骤时，得分骤降到5%。

“为什么会这样？因为训练方法存在问题。”而当前AI大模型难以完全解决的组合数学问题，正是洪乐潼的研究专长。

值得一提的是，就在年初DeepSeek大火的时候，洪乐潼曾感慨道：“一个小而专注、特立独行的团队，一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最宝贵的，是那份理想与使命交织的信念。这就是DeepSeek的故事，也是我想亲手创造的故事。”

如今，追随广东老乡梁文锋的脚步，刚满二十岁的洪乐潼也开始了新的征程。

AI造富

00后集体登场

这一波AI浪潮中，00后成了主角。

就在上个月，AI初创公司Anysphere完成了9亿美元的融资（约合人民币65亿元），估值达到90亿美元（约合人民币650亿元），成为今年最炙手可热的AI编程独角兽。

这家公司的掌舵者是四位年轻的面孔。2022年，刚从麻省理工学院毕业的迈克尔·特鲁尔和他的三位同学一拍即合，决定投身AI编程赛道创业。他们的产品Cursor迅速改变了编程方式，迅速席卷硅谷AI圈。

无独有偶。今年3月，AI招聘网站Mercor宣布完成1亿美元的B轮融资，估值达到20亿美元（约合人民币145亿元），是上一轮估值的8倍，增长速度令人惊叹。

公司创始人是三位退学的00后。大二时，三人决定从哈佛和乔治敦大学退学，全身心投入创业。仅仅两年时间，公司就成长为百亿级别的独角兽。

还有同样是AI编程公司的Magic。这家仅有20多名员工的企业已经获得了NVIDIA、红杉资本、Alphabet等知名机构超过5亿美元的投资，估值达15亿美元。其背后是一位2000年出生的少年天才，他在剑桥大学三一学院计算机专业辍学后创业。

把目光转向国内，00后创始人们也开始崭露头角。

去年，灵初智能完成了天使轮融资，由高瓴创投和蓝驰创投领投。公司联合创始人陈源培是一位痴迷机器人的00后，曾作为斯坦福大学访问学者师从Karen Liu和李飞飞教授。

还有具身智能公司UniX AI的创始人兼CEO杨丰瑜，出生于2000年，本科就读于密歇根大学计算机专业，从耶鲁大学博士毕业后回国创业。

仔细观察，他们都有着非常出色的背景：考入名校，获得奥赛奖杯和国家奖学金，远超同龄人的优秀表现，以及国际化视野。

时代的红利谁都想抓住。一种普遍的看法是，互联网时代属于70后，80后和90后搭上了移动互联网的快车，而AI时代终于轮到了00后。“先上桌，再吃饭”成为了第一批吃螃蟹者的共识。

身边的投资者分析，这一波AI创业潮中，00后和90后、80后的创始人起点差不多，甚至前者更有优势。因为许多事物都很新颖，原有的经验无法直接套用，而00后没有太多负担，对新事物的理解更加敏锐。

“我们始终相信，创业很多时候属于年轻人。”真格基金管理合伙人戴雨森在天津大学分享时说道，“无知者无畏。许多科技创新成果的诞生，正是因为当事人虽然知道某些事情却无所畏惧，从而萌发出了创新的想法。”

过去的风云已成往事，如今轮到我们这一代接棒。AI风起之时，年轻人们已经策马扬鞭，奔向这片新天地。