57岁传奇数学家放弃终身教职后，竟选择为00后中国女孩打工？

00后创始人正集体登上AI舞台。

文|极 耳

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

洪乐潼有多优秀？

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

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

世界著名数学家小野健跳槽去了一家由他的学生洪乐潼创办的公司

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

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

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

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

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

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

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

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

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

图为洪乐潼

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

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

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

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

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

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

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

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

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

创业仅4个月，洪乐潼带领不足10人的团队接连攻克两道悬而未决的数学难题

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后没有包袱，对新事物的认知触感更多。

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

综合整理自中国科学网、参考消息、钛媒体、华尔街见闻等

版权说明

新民周刊所有平台稿件， 未经正式授权一律不得转载、出版、改编，或进行与新民周刊版权相关的其他行为，违者必究！