文 | 极 耳

AI 热潮不仅让有钱人变得更有钱，还让一批年轻人成为了新的亿万富翁。00 后洪乐潼就是其中之一。

洪乐潼有多优秀？

据参考消息，不久之前，世界著名数学家小野健还认为加入硅谷一家人工智能 ( AI ) 初创公司的想法很荒诞，最近他还在演讲开场时调侃这项新兴技术受到的热捧。

然而很快，他跳槽去了一家由他的学生洪乐潼创办的公司，成为了这家初创公司里最令人意想不到的员工。

小野健以数论方面的研究而闻名。美国数学会前主席肯 · 里贝说：" 他是数学界的传奇人物。"

此外，小野健曾为弗吉尼亚大学的游泳运动员和美国队的奥运游泳金牌得主提供咨询；给美国国家安全局提供建议；参与制作了 2015 年的电影《知无涯者》；他还主导过全国顶尖的本科生研究项目，并且在他的指导下有 10 人获得摩根奖，其中就包括他的这位新雇主。

在 AI 彻底改变小野健的职业生涯之前，他一直自认为是 AI 的怀疑论者。但他也清晰地认识到：" 我与这些模型之间的领先优势在缩小。而在不属于我专长的领域，这些模型已经把我远远甩在身后。"

促使他离职的另一个原因，恐怕要算到美国总统特朗普头上。随着美国政府将矛头对准高等教育，他担心联邦科研经费会受到冲击。

今年早些时候，弗吉尼亚大学的校长在特朗普政府的压力下辞职。作为学校教务长的顾问，小野健花在 " 事务 " 上的时间越来越多，真正做数学的时间变少了。

投身 AI，是他难以拒绝的选择。" 我有幸参与改变世界运作方式的进程。" 小野健说，" 作为一名纯粹的数学家，这样的机会实属少见。"

" 我不是为钱而来。" 小野健本就是弗吉尼亚大学薪酬最高的教职人员之一，并表示自己也曾拒绝过其他 AI 公司提供的更丰厚的报酬和更大股权。

他还预言，" 我一定不会是最后一个 "。

那么，让小野健改变想法，作出离职选择的洪乐潼究竟是何人呢？

公开资料显示，洪乐潼是广州出生长大的潮汕人。尽管父母并没有接受过高等教育，洪乐潼却自幼展现出不凡的数学天赋，她中学就读于广东名校华南师范附中，多次拿下奥数竞赛奖牌。14 岁时，她在草稿纸的边缘写下 "MIT" 三个字母，激励自己。

2019 年，她成功考入麻省理工学院，攻读数学和物理双学位。毕业前后，洪乐潼先是拿下 Schafer 数学卓越奖，该奖每年仅颁发给一名本科女生；后获得北美数学本科生的最高荣誉——摩根奖，她是第五位获此殊荣的女生。

2022 年底，洪乐潼成功拿到牛津大学罗德奖学金。罗德奖学金是世界上历史最悠久、最负盛名的国际奖学金项目之一，有 " 本科诺贝尔奖 " 的美誉。

硕士期间，她还在伦敦大学学院进行人工智能和机器学习研究，当时她曾表示：" 人工智能与科学家未来的互动会怎样？是我接下来希望研究的课题。"

数理基础极强的洪乐潼搞起 AI 研究是非常得心应手的。她一度成为中心里 " 理论做得最好的年轻人 "，能接触到许多最前沿、最好玩儿的课题。

除了数学和 AI，洪乐潼还对法律很感兴趣，尤其是宪法、刑法和诉讼。

2024 年 8 月，洪乐潼进入斯坦福大学攻读数学博士和法学博士，第一年，她全身心地投入到法律硬核课程中，并用所学来帮助低收入劳工。

也是在读博期间秋天的一个周末，洪乐潼在斯坦福附近的一家咖啡馆，与当时还在 Meta 工作的 Shubho Sengupta 进行了交流。

这次交流后不久，洪乐潼便从斯坦福退学，着手创办 Axiom。

Axiom Math 成立后不久便完成了 6400 万美元的种子轮融资（约合人民币 4.6 亿元），由 B Capital 领投，Greycroft，Madrona Venture Group 和 Menlo Ventures 参投，融资后公司估值达到 3 亿美元（约合人民币 20 亿元）。" 我很少见到种子轮融这么多的，非常少见。" 洪乐潼说。

当然，洪乐潼为此付出了很多。

据中国科学报的采访，2025 年初，DeepSeek 横空出世，美国 AI 市场弥漫着恐慌情绪。团队正处于融资关键期，投资人的问题接踵而至："DeepSeek 又推出了什么？""OpenAI 那边怎么样？"" 你们的技术有没有防御性？" 这样的问题提出往往不在正式的会议室，而是一通突如其来的电话，或一场看似随意的社交晚餐，毫无调研准备的时间。而为了应对这样的问题，洪乐潼的大脑总是在转，在思考，几乎形成了瞬间肌肉记忆。

官网显示，这家崭露头角的 AI 公司，定位为 " 以 AI 数学家为起点，打造一个能够自我提升的超级智能推理系统 "。

具体而言，Axiom 的想法是将教科书、论文和期刊中的英文数学内容转换为程序化知识，以便人工智能可以解决数学问题，并能通过验证来检验解答。未来，这一模型的研究场景有望拓展到金融建模、芯片架构甚至是量化交易等领域。

创业仅 4 个月，洪乐潼带领不足 10 人的团队（核心成员仅 4 人），用自主研发的 Axiom Prover 系统，可在分钟级完成 IMO 银牌难度几何题，并接连攻克两道悬而未决的数学难题，震惊了数学界与 AI 圈。

洪乐潼入选 " 福布斯 30 岁以下 30 人 " 榜单 图源：福布斯官网

作为 Axiom 的第 15 名员工，小野健的工作是把公司的 AI 模型推向极限。他将设计那些只有真正理解数学原理才能解出的代表性问题，同时起草基准体系，以衡量系统表现、指引模型改进。

而在创始人洪乐潼的设想中，该模型或许能提出新的数学猜想，由此产生全新的知识。

值得一提的是，00 后创始人正集体登上 AI 舞台。

据媒体梳理，不久前，22 岁的华裔女生 Jessica Wu 和 23 岁的尼尔 · 德什穆克所创立的 Sola Solutions 拿下硅谷知名风投的融资。

2025 年 5 月，AI 初创公司 Anysphere 完成一轮 9 亿美元融资（约合人民币 65 亿元），估值达 90 亿美元，成为今年最火 AI 编程独角兽之一。掌舵公司的也是来自麻省理工的四张年轻面孔。

还有此前完成天使轮融资的灵初智能，由高瓴创投和蓝驰创投领投，公司联合创始人陈源培是一名痴迷机器人的 00 后。

有投资人分析，这一波 AI 创业潮中，00 后和 90 后、80 后的创始人起点都一样，甚至前者优势更大。因为很多事物太新了，原有经验无法直接复用，而 00 后没有包袱，对新事物的认知触感更多。

" 问题在于，这些公司中哪些能够存活下来，又有哪些创始人能真正成为亿万富翁，而不仅仅停留在纸面上。" 投资人提醒道。