欢迎来到公海 欢迎来到赌船!

　　不久前，57岁的美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）辞去教职，加入了一家成立仅4个月的人工智能（AI）创业公司Axiom Math。公司的创始人是他曾经的学生洪乐潼，24岁。 　　近日，Axiom Math宣布其“AI数学家”在无人干预的情况下，攻克了困扰数学界数十年的两道埃尔德什难题。同一天，洪乐潼收到了入选“福布斯30岁以下30人”榜单的消息。 　　2

　　不久前ღღ，57岁的美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）辞去教职ღღ，加入了一家成立仅4个月的人工智能（AI）创业公司Axiom Mathღღ。公司的创始人是他曾经的学生洪乐潼ღღ，24岁ღღ。

　　近日ღღ，Axiom Math宣布其“AI数学家”在无人干预的情况下ღღ，攻克了困扰数学界数十年的两道埃尔德什难题ღღ。同一天ღღ，洪乐潼收到了入选“福布斯30岁以下30人”榜单的消息ღღ。

　　2001年ღღ，洪乐潼出生在广州天河区的一个普通家庭ღღ，父母是土生土长的潮汕人ღღ，在广州务工打拼高压监狱啄不鸟ღღ。洪乐潼从小就展现出了惊人的数学天赋ღღ，父母也竭尽所能支持她ღღ。14岁时ღღ，她在草稿纸的边缘写下“MIT”三个字母ღღ，激励自己ღღ。

　　2019年ღღ，洪乐潼如愿考入美国麻省理工学院（MIT）ღღ。彼时正值疫情ღღ，“没什么其他事情干ღღ，就一直做数学研究”ღღ。在洪乐潼心目中ღღ，数学研究是世界上最好玩的事情ღღ。她在多位教授指导下参与了本科生科研项目ღღ，主攻数论和组合数学ღღ，发表了9篇数学研究论文ღღ。

　　洪乐潼在本科时展现的数学天分ღღ，被整个北美“看见”——她获得北美数学本科生最高荣誉“摩根奖”ღღ，以及美国每年仅颁发给一名女性本科生的Alice T.Schafer奖ღღ。此后ღღ，她获得来自英国的罗德奖学金ღღ，赴牛津大学攻读硕士学位ღღ。

　　在英国欢迎公海来到赌船710ღღ，洪乐潼还加入了盖茨比计算神经科学中心做研究ღღ。该中心由诺奖得主高压监狱啄不鸟ღღ、“深度学习之父”杰弗里·辛顿创建ღღ。

　　数理基础扎实的洪乐潼搞起AI研究是非常得心应手的ღღ。她一度成为盖茨比计算神经科学中心“理论做得最好的年轻人”欢迎公海来到赌船710ღღ，由此接触到许多最前沿ღღ、最好玩儿的课题ღღ。

　　除了数学和AIღღ，洪乐潼还有另一项截然不同的学习兴趣——法律ღღ，尤其是宪法ღღ、刑法和诉讼ღღ。她称这可能与高中加入辩论队的经历有关ღღ。

　　读博第一年欢迎公海来到赌船710ღღ，洪乐潼选修了法律ღღ，她不仅全身心地投入法律硬核课程中ღღ，还用所学知识来帮助低收入劳工ღღ。

　　“你会突然接到一个高空作业工人或是清洁工打来的电话ღღ。你需要理解他们的危险和困境ღღ，不能只靠书本上的法律知识ღღ，而要从他们的视角出发ღღ，来选择用哪些法律条文ღღ。”经历“学以致用”后ღღ，洪乐潼的感悟是ღღ，有些法律用起来“软绵绵的”高压监狱啄不鸟ღღ，而有些法律则可以真正地解决问题ღღ。

　　法律和数学ღღ，两个看起来风马牛不相及的学科ღღ，实则都将洪乐潼抛向同一个淬炼场ღღ，从无到有地去学习ღღ，直面真实的问题ღღ，找到最具锐度的解法ღღ。

　　但洪乐潼很快就“闲不住”了欢迎公海来到赌船710ღღ。她心里痒痒ღღ，忍不住想读数学文章ღღ，想去计算机系蹭课ღღ，想参加AI的学术会议ღღ。“生活中还是不能没有数学和科技ღღ。”洪乐潼说高压监狱啄不鸟ღღ。

　　再次走到AI科技前沿时ღღ，洪乐潼嗅到了创业的机会ღღ。2024年秋天ღღ，一种名为Lean的语言进入她的视野ღღ。

　　与自然语言不同ღღ，Lean语言是一个非常神奇的高压监狱啄不鸟ღღ、可以自验证的数学编程语言ღღ。洪乐潼打了个比方ღღ：“如果用英语写出数学证明ღღ，我没办法知道一个5000行的证明是否正确ღღ，需要找高水平的专家验证ღღ。但Lean是自验证的ღღ，只要跑通了就是对的ღღ。”

　　2025年1月ღღ，在美国最大的数学家聚会——2025年联合数学会议（JMM）上ღღ，洪乐潼见到了许多做Lean语言的数学家ღღ。她意识到欢迎公海来到赌船710ღღ，“AI数学家”有可能从科幻变成现实ღღ。

　　2025年10月ღღ，在Axiom Math完成6400万美元（约合人民币4.6亿元）融资后ღღ，洪乐潼放弃了博士学位高压监狱啄不鸟ღღ，全身心投入了创业ღღ。她的团队ღღ，也成了一匹飞速奔跑的“黑马”ღღ。

　　2025年12月3日ღღ，洪乐潼在社交平台发文ღღ，宣布其公司开发的AxiomProver系统ღღ，分别用1天和5小时ღღ，在无人为干预的情况下完成了埃尔德什问题集中第124题和第481题的证明ღღ。

　　“我真正感受到了一个AI时刻ღღ，有些事情和昨天不一样了ღღ。正如AI解决蛋白质折叠问题一样ღღ，‘AI数学家’是送给人类的礼物ღღ！”她说ღღ。

　　几乎同一时间ღღ，由美国亿万富翁弗拉基米尔·特涅夫（Vladimir Tenev）创办的公司Harmonic开发的“AI数学家”Aristotle也解决了同样的问题ღღ。

　　但“黑马”的故事无疑更让人振奋——相比知名公司ღღ，洪乐潼的团队晚了两年才进入市场ღღ，且融资额和估值仅有竞争对手的五分之一ღღ。

　　洪乐潼告诉《中国科学报》ღღ，其实ღღ，她最喜欢的事情并不是当“精英”ღღ，而是做“草根”ღღ，做个nobody（小人物）ღღ，这样学习的坡度最陡ღღ、速度最快ღღ。

　　她的团队是一个神奇的组合ღღ。有57岁的顶尖数学家小野健——为了加入前学生洪乐潼的团队ღღ，他不惜辞去弗吉尼亚大学终身教职ღღ。也有2003年出生ღღ、22岁就发表多篇重要论文的年轻人ღღ。有美国Meta公司的科学家ღღ，有编译器专家ღღ，还有理论物理学家……

　　“草根”高压监狱啄不鸟ღღ，代表始终“空杯”的心态和坚韧的品质ღღ。在创业这条路上ღღ，即使是资深“牛人”ღღ，也要从头学起ღღ，不断自我革新ღღ。

　　洪乐潼至今还记得和Meta前员工Shubho Sengupta的一次咖啡馆对话ღღ。他们谈天说地ღღ，聊理论机器学习的实践价值ღღ，聊共同认识的研究者ღღ，聊未来AI与广告的融合……这位员工后来成为洪乐潼公司的首席科技官ღღ。还有做了6年AI数学研究的Francois Charton欢迎公海来到赌船710ღღ，俩人一聊就是3小时ღღ，一直接聊到后半夜ღღ。

　　团队由最初的不到10人ღღ，逐渐增长到15人以上ღღ。作为创始人和首席执行官欢迎公海来到赌船710ღღ，在被问到如何带领团队时高压监狱啄不鸟ღღ，洪乐潼说ღღ：“我其实不太喜欢用‘带领’这种词ღღ。我希望自己是一个Individual contributor（独立贡献者）ღღ，我们团队是一群志同道合的人在一起做事ღღ。”

　　2025年初ღღ，DeepSeek横空出世ღღ，美国AI市场弥漫着恐慌情绪ღღ。洪乐潼团队正处于融资关键期ღღ，投资人的问题接踵而至ღღ：“DeepSeek又推出了什么？”“OpenAI那边怎么样？”“你们的技术有没有防御性？”

　　融资的场景往往不在正式的会议室ღღ，而是一通突如其来的电话ღღ，或一场看似随意的社交晚餐ღღ，毫无调研准备的时间ღღ。

　　“我不能有任何的表现失常ღღ，因为不会再有机会了ღღ。”为保持敏锐ღღ，洪乐潼的大脑总是在转ღღ、在思考ღღ，几乎形成了瞬间肌肉记忆ღღ。

　　最终ღღ，Axiom Math的种子轮融资达到6400万美元ღღ，估值3亿美元ღღ。“我很少见到种子轮融这么多的ღღ，非常少见ღღ。”洪乐潼说ღღ。

　　“你看过传记电影The Man Who Knew Infinity（《知无涯者》）吗？”她问道ღღ。电影主角拉马努金是一位印度天才ღღ。他从未接受过正规的证明训练ღღ，仅凭直觉便在草稿纸上写满了令人惊叹的数学猜想ღღ。遇到数学家哈代和利特尔伍德后ღღ，拉马努金才开始学习怎么证明ღღ。

　　“如果世界上某个角落有一个拉马努金ღღ，那么‘AI数学家’能够帮助他完成证明ღღ，让他有更多时间和能量去完成下一个直觉的发现ღღ。”洪乐潼说ღღ，“我们的梦想ღღ，其实是数学发现本身ღღ。”

　　在创业路上ღღ，失败也是家常便饭ღღ。“如果你每天做100件事ღღ，至少有5件会做得很差ღღ。”洪乐潼坦言ღღ，团队曾在招聘策略上走过弯路——只关注有研究想法的人ღღ，却忽略了那些不擅研究的工程人才ღღ。

　　接受采访的最后ღღ，洪乐潼分享了给年轻创业者的建议ღღ：一定要选择最难的问题ღღ。如果已经觉得很难了ღღ，还要把它想得更难一些ღღ。她顿了顿ღღ，又补充道ღღ：“如果你觉得这个问题两年内会解决欢迎公海来到赌船710ღღ，不要做ღღ。你要做一个5到10年后还在进行的问题ღღ。”

　　结束受访时ღღ，洪乐潼那边已经是凌晨2点ღღ。醒来后ღღ，她要飞往美国圣地亚哥ღღ，参加全球最大的机器学习会议NeurIPSღღ，她的公司是“AI for Math”分会场的赞助商ღღ。公海ღღ。就业市场ღღ，留学ღღ，公海赌网平台ღღ，欢迎来到公海 欢迎来到赌船!