“00 后们开始起跑了。”本周，一个原本陌生的名字——洪乐潼，在 AI 投资人的交流中频繁出现。这一切源于 The Information 的一则报道：一家名为 Axiom 的 AI 初创公司，虽暂无产品、客户，甚至没有正式官网，却正在进行 5000 万美元的融资，估值约 3 亿到 5 亿美元。更有趣的是，该公司致力于用 AI 解决数学难题，这与当下正在进行的高考巧妙呼应。

消息一经传出，瞬间在硅谷和国内的创投圈引发热议，而背后的创始人洪乐潼也因此一夜成名。洪乐潼是 00 后学霸，缔造了这家充满潜力的 Axiom 公司。

洪乐潼在广州出生长大，父母是土生土长的潮汕人，且未接受过高等教育，她是家里的第一代大学生。自小，洪乐潼就对数学展现出浓厚的兴趣，在广州名校华南师大附中就读期间，多次在“华罗庚金杯”、全国高中数学联赛等竞赛中斩获奖牌。

2019 年，洪乐潼顺利考入麻省理工学院，攻读数学和物理双学位。本科期间，她不仅担任数学协会主席，还修读了 20 个硕博课程，发表了多篇高质量的学术论文，研究领域涉及模椭圆曲线与 K3 曲面的 L 函数、月光猜想、弹出栈排序算法等。

毕业前后，洪乐潼荣誉加身。她先是获得每年仅颁发给一名本科女生的 Schafer 数学卓越奖，后又荣获北美数学本科生的最高荣誉——摩根奖，成为第五位获此殊荣的女生。

2021 年底，洪乐潼在学界崭露头角，成功拿到牛津大学罗德奖学金，成为仅有的四名中国获奖者之一。罗德奖学金作为世界上历史最悠久、最负盛名的国际奖学金项目之一，有“本科诺贝尔奖”的美誉，每年从全球选拔约 100 位“罗德学者”，并全额资助他们前往英国牛津大学深造。如今，获奖者中已涌现出四十多位全球领导人和十几位诺贝尔奖得主。

次年，洪乐潼前往英国牛津大学学习神经科学，并获得硕士学位。在此期间，她还在伦敦大学学院进行人工智能和机器学习研究，当时她就曾表示：“人工智能与科学家未来的互动会怎样？是我接下来希望研究的课题。”

2024 年 8 月，洪乐潼进入斯坦福大学，攻读数学博士和法学博士。她曾表示：“一直以来，我都是一名研究者。”内心深处，她渴望解决真正困难的技术问题。很快，还在博士就读的她便闯入了 AI 界。

洪乐潼的创业项目同样与数学紧密相关。The Information 的报道揭开了这家初创公司 Axiom 的神秘面纱。Axiom 以“公理”为名，寓意着它是构建数学理论的出发点。公司将专注于数学领域，通过让 AI 学习严格的逻辑推理和数学证明过程，使其能够像数学家一样构建和验证形式化证明，保证结果的准确性和严谨性。其目标客户包括对冲基金和量化交易公司，能够帮助他们快速解决投资、股市等金融领域的复杂数学问题。

尽管目前 Axiom 尚未开发出产品，也没有官网，但已经吸引了投资人的关注。曾投出 Perplexity 等独角兽的 B Capital 正在就最新一轮 5000 万美元的融资展开谈判，或许会领投本轮，Axiom 的估值预计达 3 亿 - 5 亿美元。不过，洪乐潼很快在社交平台否认了这一融资信息，称报道并不准确。但可以确定的是，Axiom 确为洪乐潼的最新创业项目，并且正在公开招聘 AI 数学人才。

追溯洪乐潼瞄准 AI 数学赛道的原因，还有一段插曲。今年，ChatGPT o3 曾被爆出数学测试作弊，洪乐潼在社交媒体上指出，OpenAI 的大模型在数学测试中表现良好，可能是因为该公司在训练模型时已接触过这些题目。她举例，在美国数学邀请赛考试中，部分大语言模型可以达到 96%的准确率，但当要求展示证明过程时，分数骤降至 5%。她认为：“为什么会有这样的差异？因为训练方式有问题。”而当前 AI 大模型无法完美解决的组合数学问题，恰恰是洪乐潼的研究专长。

值得一提的是，年初 DeepSeek 火爆全球之际，洪乐潼曾感慨：“一个小而专注、特立独行的团队。一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。这就是 DeepSeek 的故事，也是我想亲自书写的故事。”如今，跟随广东老乡梁文锋的脚步，刚刚 20 出头的洪乐潼踏上了新征程。

在这一波 AI 风口上，站满了 00 后的身影。上个月，AI 初创公司 Anysphere 完成一轮 9 亿美元融资（约合人民币 65 亿元），估值达 90 亿美元（约合人民币 650 亿元），成为今年最火的 AI 编程独角兽。掌舵公司的是四位年轻面孔，2022 年，刚刚从麻省理工学院毕业的 Michael Truell 和他三位同学一拍即合，瞄准 AI 编程赛道下场创业，旗下产品 Cursor 一举改变编程方式，迅速席卷硅谷 AI 圈。

同样引人注目的是，今年 3 月，AI 招聘网站 Mercor 宣布完成 1 亿美元 B 轮融资，估值达到 20 亿美元（约合人民币 145 亿元），是上轮估值的 8 倍，成长速度惊人。公司创始人是三位退学的 00 后，大二那年，他们在宿舍里创立 Mercor，决定从哈佛及乔治敦大学退学全职创业，仅用两年时间，公司就一跃成为百亿级别独角兽。

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

将目光拉回国内，00 后创始人同样开始崭露头角。去年，灵初智能完成天使轮融资，由高瓴创投和蓝驰创投领投。公司联合创始人陈源培是一名痴迷机器人的 00 后，曾作为 Stanford 访问学者师从 Karen Liu 和李飞飞教授。

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

仔细观察这些 00 后创业者，他们都有着极为漂亮的履历：考入名校，拥有奥赛奖杯、国家奖学金，不仅有着远超同龄人的优秀，还具备国际化的视野。

一种普遍的声音认为，互联网时代属于 70 后，80 后和 90 后坐上了移动互联网的列车，而 AI 终于轮到 00 后们。“先上桌，再吃饭”成为先吃螃蟹那批人的共识。身边投资人分析，在这一波 AI 创业潮中，00 后和 90 后、80 后的创始人起点都一样，甚至前者更具优势。因为很多事物太新，原有经验无法直接复用，而 00 后没有包袱，对新事物的认知触感更多。

真格基金管理合伙人戴雨森在天津大学分享时称：“我们始终坚信，创业在很多时候是属于年轻人的。无知者无畏，诸多科技创新成果诞生，正是源于当事人虽了解却无所畏惧，由此萌生出创新想法。”

往昔风云变幻，今朝 00 后少年已跃马前行，奔赴这场 AI 新江湖。