米兰官网-这个博士生24岁创业，57岁教授辞了终身教职来加入—新闻—科学网

美国弗吉尼亚年夜学数学系讲席传授小野健（Ken Ono）本年57岁，学术荣誉卓著。但前不久他刚辞去教职，插手了一家建立仅4个月的AI创业公司Axiom Math。

公司的开创人是他曾经经的学生洪乐潼，本年24岁。

12月3日，Axiom Math公布：其“AI数学家”于无人干涉干与的环境下，霸占了困扰数学界数十年的两道埃尔德什难题。统一天，洪乐潼收到了入选“福布斯30岁如下30人”榜单的动静。

是一名甚么样的年青人，能让终身传授押上职业生活生计？

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

单线程

洪乐潼形容本身是一个“单线程”的人。她必需将一件事全数做完，再开启下一件。

2001年，洪乐潼出生于广州河汉区的一个普通家庭，怙恃是土生土长的潮汕人，来广州务工打拼。这个小密斯从小就揭示出了惊人的数学先天，怙恃也竭尽所能撑持。14岁时，她于底稿纸的边沿写下“MIT”三个字母，激励本身。

2019年，洪乐潼如愿考入麻省理工学院（MIT）。彼时正值疫情，“没甚么其他工作干，就一直做数学研究”。于洪乐潼心目中，数学是世界上最佳玩的工作。她追随多位传授介入本科生科研项目，主攻数论及组合数学，发表了9篇数学研究论文。

本科时揭示出的数学天禀，让洪乐潼被整个北美“瞥见”——她得到北美数学本科生最高声誉“摩根奖”，以和美国每一年仅颁布给一位本科女性的Alice T. Schafer奖。今后，她得到来自英国的罗德奖学金，赴牛津年夜学攻读硕士学位。

于英国，洪乐潼还有插手了盖茨比计较神经科学中央做研究。该中央由诺奖患上主、“深度进修之父”Geoffrey Hinton创立。

数理基础极强的洪乐潼弄起AI研究长短常驾轻就熟的。她一度成为中央里“理论做患上最佳的年青人”，能接触到很多最前沿、最佳玩儿的课题。

除了了数学及AI，洪乐潼还有有另外一项大相径庭的进修志趣——法令，特别是宪法、刑法及诉讼。她自述这可能与高中插手辩说队的履历有关。

读博第一年，洪乐潼选择修习法令，全身心肠投入到法令硬核课程中，并用所学来帮忙低收入劳工。

“你会忽然接到一个高空功课工人、侍者或者是清洁工打来的德律风。你需要理解他们的伤害及困境，不克不及只靠书本上的法令，需要从他们的视角出发，来选择用哪些法令。”履历“学乃至用”后，洪乐潼的感悟是，有些法令用起来“软绵绵的”，而有些法令则可以真正地解决问题。

法令及数学，两个看起来风马不接的学科，实则都将洪乐潼抛向统一个淬炼场，从无到有地去进修，直面真正的问题，找到最具锐度的解法。

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

黑马

但洪乐潼很快就“闲不住”了。她心里痒痒，不由得想读数学文章，想去计较机系蹭课，想到场AI的学术集会。

“糊口中还有是不克不及没有数学及科技。”洪乐潼说。

再次走到AI科技前沿时，洪乐潼嗅到了创业的时机。2024年秋日，一种名为Lean的语言进入各人的视线。

与天然语言差别，Lean语言是一个很是神奇的、可以自验证的数学编程语言。洪乐潼打了个比喻：“假如用英语写出数学证实，我没措施知道一个5000行的证实是否准确，需要找高程度的专家验证。但Lean是自验证的，只要跑成为了就是对于的。”

2025年1月，于美国最年夜的数学家聚首——2025年结合数学集会（JMM，Joint Math Meeting）上，洪乐潼见到了很多做Lean语言的数学家。她意想到，“AI数学家”有可能从科幻酿成实际。

10月，于Axiom Math完成6400万美元（约合人平易近币4.6亿）融资后，洪乐潼抛却了博士学位，全职投入了创业。她的团队，同样成了一匹飞速进步的“黑马”。

12月3日，洪乐潼于社交平台发文，公布其公司开发的AxiomProver体系，别离用1天及5小时，于无报酬干涉干与的环境下完成为了埃尔德什问题集中第124题及第481题的证实。

“我真正感触感染到了一个AI moment，有些工作及昨天纷歧样了。正如AI解决卵白质折叠问题同样，AI数学家是送给人类的礼品！”她说。

险些统一时间，由陶哲轩门生、美国亿万财主弗拉基米尔 特涅夫（Vladimir Tenev）开办的公司Harmonic所开发的“AI数学家”Aristotle也解决了一样的问题。

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

草根

洪乐潼告诉《中国科学报》，实在，她最喜欢的工作其实不是当精英，而是做草根，做个nobody（小人物），如许进修的坡度最陡、速率最快。

她的团队，是一个神奇的组合。

有57岁的顶尖数学家小野健——为了插手前学生洪乐潼的团队，他不吝辞去弗吉尼亚年夜学终身教职。

也有2003年出生、22岁就发表多篇主要论文的年青人。

有Meta科学家，有编译器专家，还有有理论物理学家……

洪乐潼用了一个词来形容团队的气质：草根工程师精力。

草根，代表着始终“空杯”的心态及坚韧的品质。于创业这条路上，纵然是资深“牛人”，也要重新学起，不停自我改造。

洪乐潼至今还有记患上及Meta前员工Shubho Sengupta的一次咖啡馆对于话。他们聊天说地，聊理论呆板进修的实践价值，聊配合熟悉的研究者，聊将来AI与告白的交融……他厥后成了洪乐潼公司的首席科技官。

还有有做了6年AI数学研究的Fran?ois Charton。因为时差，洪乐潼接起德律风时已经是深夜，俩人一聊就是三小时，一直接聊到后子夜。

团队由最初的不到10人，逐渐增加到15人以上。

作为开创人及CEO，于被问到怎样领导团队时，洪乐潼说：“我实在不太喜欢用领导这类词。我但愿本身是一个Individualcontributor（自力孝敬者），每一个人都是，这是一群志同志合的人于一路干事。”

洪乐潼 受访者供图

而融资的历程，也是一场“草根”式的历练。

2025年头，DeepSeek横空出生避世，美国AI市场洋溢着发急情绪。团队正处在融资要害期，投资人的问题相继所致：“DeepSeek又推出了甚么？”“OpenAI何处怎么样？”“你们的技能有无防备性？”

融资的场景往往不于正式的集会室，而是一通突如其来的德律风，或者一场看似随便的社交晚饭，毫无调研预备的时间。

“我不克不及有任何的体现变态，由于下一次就不会再有时机了。”为连结敏锐，洪乐潼的年夜脑老是于转，于思索，险些形成为了刹时肌肉影象。

终极，Axiom Math的种子轮融资到达6400万美元，估值3亿美元。

“我很少见到种子轮融这么多的，很是少见。”洪乐潼说。

胡想家

于洪乐潼心中，“AI数学家”的最终意义，藏于一个古老的故事里。

“你看过影戏《拉马努金》（注：列传影戏The Man Who Knew Infinity，中文译名为《知无涯者》）吗？”她问道。这位印度天才从未接管过正规的证实练习，仅凭直觉便于底稿纸上写满了使人赞叹的数学料想。碰到数学家哈代及利特尔伍德后，拉马努金才最先进修怎么证实。

“假如世界上某个角落有一个拉马努金，那末‘AI数学家'可以或许帮忙他完成证实，让他有更多时间及能量去举行下一个直觉的发明。”洪乐潼说，“咱们的胡想，实在是数学发明自己。”

于创业路上，掉败也是家常便饭。“假如你天天做100件事，至少有5件会做患上很差。”洪乐潼坦言，团队曾经于雇用计谋上走过弯路——只存眷有研究设法的人，却纰漏了那些不擅研究的工程人材。

当被问到怎样连结高能量，洪乐潼的谜底出人意表：“我睡患上挺足够的，能睡9个小时。”

采访的末了，洪乐潼分享了给年青创业者的建议：必然要选择最难的问题。假如已经经感觉很难了，还有要把它想患上更难一些。

她顿了顿，又增补道：“假如你感觉这个问题两年内会解决，不要做。你要做一个5到10年后还有于举行的问题。”

竣事采访时，洪乐潼何处已经经是凌晨2点。醒来后，她要飞往圣地亚哥，到场全世界最年夜的呆板进修集会NeurIPS——她的公司是“AIfor Math”分会场的援助商。