2025年1月，中国新创的独角兽企业“深度求索”(Deep Seek)横空出世，在美国AI市场引发恐慌。英伟达(NVIDIA)一夜暴跌17%，纳斯达克(Nasdaq)综合指数下挫3.7%，台积电、博通、超微半导体等科技股也集体暴跌；中国年轻学者的爆发力让业界惊愕。
12月3日，刚创业4个月的AI公司“公理数学”(Axiom Math)宣布：其开发的“AI数学家”(Axiom Prover)系统，在无人干预的情况下，分别用1天和5小时，攻克困扰数学界数十年的埃尔德什问题集中的第124题和第481题。同一天，作为Axiom Math创始人的洪乐潼(Carina Hong)入选“福布斯30岁以下30人”榜单，引发国际学界的赞叹。
《科学网》近日报道，美国弗吉尼亚大学数学系现年57岁、声誉卓著的日裔教授小野健(Ken Ono)，竟然辞去待遇丰厚的大学教职，加盟曾是他的学生洪乐潼的Axiom Math公司。舆论不断热议：洪乐潼究竟是什么样的年轻人？能让一位终身教授押上职业生涯。
根据资料，洪乐潼2001年出生在广州天河区的平凡家庭，父母原籍潮汕，来广州务工。她从小就展现惊人的数学天赋，父母尽力支持。14岁时，她在练习册写下“MIT”以激励自己，2019年如愿考入麻省理工学院（MIT）。在洪乐潼心目中，数学是最好玩的事情，她跟随多位教授参与科研项目，主攻数论和组合数学，发表了9篇数学研究论文。
洪乐潼的数学天分，让她获得北美数学本科生最高荣誉“摩根奖”，以及美国每年仅颁发给一名本科女性的Alice T. Schafer奖。此后获得英国的罗德奖学金，赴牛津大学攻读硕士学位。期间加入诺奖得主辛顿(Geoffrey Hinton)创建的盖茨比计算神经科学中心，一度成为该中心“理论做得最好的年轻人”，接触到许多最前沿、最困难的课题。
读博第一年，洪乐潼选择修习法律，尤其是宪法、刑法和诉讼，这可能与她念高中时加入辩论队的经历有关。法律和数学，两个看起来风马牛不相及的学科，实则都将洪乐潼推向同一个淬炼场，必须从无到有地去学习，直面真实的问题，找到最具锐度的解法。
去年秋天，名为Lean（倾向）的语言进入学界的视野。这是一个非常神奇的、可以自行验证的数学编程语言。今年初，在美国顶级数学家聚会“联合数学会议”(Joint Math Meeting)上，洪乐潼遇见研究Lean的数学家，意识到“AI数学家”可能成为现实。
去年8月，洪乐潼创办Axiom Math。她于10月完成6400万美元融资后，放弃博士学位，全职投入创业。相比知名公司，她晚了两年进入市场，融资和估值仅有竞争对手的20%，但其团队却成了飞跃的“黑马”。她说：“我真正感受到了一个AI moment，有些事情和昨天不一样了。正如AI解决蛋白质折叠问题一样，AI数学家是送给人类的礼物！”
洪乐潼向《中国科学报》坦言：她最喜欢的事情并不是当精英，而是做草根，做个小人物(nobody)，这样学习的坡度最陡、速度最快。其团队有弗吉尼亚大学顶尖数学家、Meta科学家、编译器专家、理论物理学家以及天才横溢的年轻学者。Axiom Math具备“草根工程师”的气质，始终以“空杯”的心态和坚韧的品质，勇对挑战并不断自我革新。
在创业路上，失败是家常便饭。洪乐潼说：“如果你每天做100件事，至少有5件会做得很差。”她曾在策略上走过弯路——只关注有研究想法的人，却忽略不擅研究的工程人才。作为创始人和CEO，在被问到如何带领团队时，洪乐潼说：“我其实不太喜欢用带领这种词。我希望自己是一个Individual contributor（独立贡献者），每个人都是，这是一群志同道合的人在一起做事。”而公司融资的过程，就是一场“草根”式的历练。
洪乐潼受访时说：“我们的梦想，其实是数学发现本身。”建议年轻创业者“一定要选择最难的问题。如果已经觉得很难了，还要把它想得更难一些。”她补充道：“如果你觉得这个问题两年内会解决，不要做。你要做一个5到10年后还在进行的问题。”
习近平总书记指示：“青年人有理想、敢担当、能吃苦、肯奋斗，中国青年才会有力量，党和国家事业发展才能充满希望。”中国青年“把冷门做硬，把热爱做专”，以AI开拓数学领域、用技术突破科研赋能，深耕农业科技、研发航天材料，青年“榜样力量”于平凡中坚守，深耕别人眼里的“冷门赛道”，将其打磨成国家发展的“硬核实力”，执着坚守个人热爱，把专业所长干成行业标杆，用专注与坚守书写属于这代人的奋进篇章。
有人问，为什么这届中国青年这么猛？答案藏在时代的土壤，藏在骨子里的家国情怀和民族自信。父辈已经为我们铺好了路，他们在物资匮乏、技术落后的年代，靠着咬牙坚持闯出一片天，打下了坚实的基础。这届青年生在中国最强盛的时代，不用再低身仰望世界，他们不缺乏物资的保障，不缺乏优质的教育，而具备挑战学术难关的智慧和底气！
廖省 • 林 越
