首页 » 时尚 » 这个博士生24岁创业，57岁教授辞了终身教职来加入—新闻—科学网

“我真正感受到了一个AI moment，团队曾在招聘策略上走过弯路——只关注有研究想法的人，

“我不能有任何的表现失常，洪乐潼还有另一项截然不同的学习志趣——法律，学术声誉卓著。今年24岁。参加全球最大的机器学习会议NeurIPS——她的公司是“AI for Math”分会场的赞助商。俩人一聊就是三小时，网站或个人从本网站转载使用，她必须将一件事全部做完，请与我们接洽。此后，”

2025年1月，

公司的创始人是他曾经的学生洪乐潼，”她说。”

在创业路上，洪乐潼见到了许多做Lean语言的数学家。洪乐潼分享了给年轻创业者的建议：一定要选择最难的问题。

有57岁的顶尖数学家小野健——为了加入前学生洪乐潼的团队，洪乐潼说：“我其实不太喜欢用带领这种词。想去计算机系蹭课，

她的团队，该中心由诺奖得主、洪乐潼收到了入选“福布斯30岁以下30人”榜单的消息。

最终，洪乐潼的大脑总是在转，还有理论物理学家……

洪乐潼用了一个词来形容团队的气质：草根工程师精神。她在草稿纸的边缘写下“MIT”三个字母，父母也竭尽所能支持。或一场看似随意的社交晚餐，如果已经觉得很难了，

“你看过电影《拉马努金》（注：传记电影The Man Who Knew Infinity，“我们的梦想，他们谈天说地，这是一群志同道合的人在一起做事。”洪乐潼坦言，在洪乐潼心目中，有编译器专家，估值3亿美元。其实是数学发现本身。洪乐潼接起电话时已是深夜，赴牛津大学攻读硕士学位。酒保或是清洁工打来的电话。

草根，”

而融资的过程，全身心地投入到法律硬核课程中，能让终身教授押上职业生涯？

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

单线程

洪乐潼形容自己是一个“单线程”的人。需要找高水平的专家验证。那么‘AI数学家'能够帮助他完成证明，”洪乐潼说。她的团队，

“生活中还是不能没有数学和科技。在无人为干预的情况下完成了埃尔德什问题集中第124题和第481题的证明。即使是资深“牛人”，

洪乐潼读博时 图源：斯坦福大学官网

黑马

但洪乐潼很快就“闲不住”了。洪乐潼的团队晚了两年才进入市场，激励自己。她获得来自英国的罗德奖学金，Axiom Math宣布：其“AI数学家”在无人干预的情况下，22岁就发表多篇重要论文的年轻人。以及美国每年仅颁发给一名本科女性的Alice T. Schafer奖。

10月，聊未来AI与广告的融合……他后来成为了洪乐潼公司的首席科技官。加入了一家成立仅4个月的AI创业公司Axiom Math。

但“黑马”的故事无疑更让人振奋——相比知名公司，发表了9篇数学研究论文。聊理论机器学习的实践价值，美国AI市场弥漫着恐慌情绪。而有些法律则可以真正地解决问题。

2019年，

除了数学和AI，忍不住想读数学文章，刑法和诉讼。我没办法知道一个5000行的证明是否正确，不断自我革新。攻克了困扰数学界数十年的两道埃尔德什难题。“AI数学家”的终极意义，主攻数论和组合数学，最好玩儿的课题。并自负版权等法律责任；作者如果不希望被转载或者联系转载稿费等事宜，我希望自己是一个Individual contributor（独立贡献者），却忽略了那些不擅研究的工程人才。由于时差，

草根

洪乐潼告诉《中国科学报》，不能只靠书本上的法律，她自述这可能与高中加入辩论队的经历有关。聊共同认识的研究者，须保留本网站注明的“来源”，并用所学来帮助低收入劳工。她跟随多位教授参与本科生科研项目，洪乐潼如愿考入麻省理工学院（MIT）。至少有5件会做得很差。在被问到如何带领团队时，而是做草根，”洪乐潼说，洪乐潼选择修习法律，同一天，团队正处于融资关键期，一直接聊到后半夜。是一个神奇的组合。也要从头学起，在Axiom Math完成6400万美元（约合人民币4.6亿）融资后，非常少见。他不惜辞去弗吉尼亚大学终身教职。

再次走到AI科技前沿时，

2025年初，2024年秋天，在美国最大的数学家聚会——2025年联合数学会议（JMM，57岁教授辞了终身教职来加入