|
近日，数学与人工智能领域迎来一则震撼消息：成立不到一年时间的AI数学初创公司Axiom Math宣布，其自主研发的“AI数学家”在完全无人干预的情况下，成功攻克了两道困扰数学界数十年的埃尔德什难题。就在同一天，公司创始人、年仅24岁的洪乐潼收到了入选“福布斯30岁以下30人”榜单的通知。
洪乐潼入选“福布斯30岁以下30人”榜单丨图源：福布斯官网
2001年，洪乐潼出生于广州天河区一个平凡的潮汕务工家庭。其从小展现出的惊人数学天赋，在父母竭尽所能的支持下得以绽放。初中参加免费数学奥赛培训时，她沉浸在“超级有趣的数学问题”中，曾形容：那种感觉如同“在智力层面环游世界，与不同文明的数学思想对话”。
中学时期，她便展现出极高的数学天赋。就读于广州名校华南师范附中的她，不仅入选广东省奥林匹克数学队，更在“华罗庚金杯”、全国高中数学联赛等顶尖赛事中屡获佳绩，成为数学竞赛圈备受关注的新星。14岁时，她在草稿纸上写下“MIT”三个字母，以此激励自己。
2019年，洪乐潼如愿考入麻省理工学院（MIT），攻读数学和物理双学位。本科期间，她不仅担任数学协会主席，还修读了20个硕博课程，发表多篇高质量学术论文，涉及模椭圆曲线与K3曲面的L函数、月光猜想等领域，更先后荣获Schafer数学卓越奖（每年仅授予一名本科女生）和北美数学本科生最高荣誉——摩根奖（成为该奖项第五位女性获奖者）。
2021年底，洪乐潼获得有“本科诺贝尔奖”美誉的牛津大学罗德奖学金，成为当年仅有的四名中国获奖者之一。次年，她前往牛津大学学习神经科学，获硕士学位，期间还在伦敦大学学院进行人工智能和机器学习研究。当时她已开始思考：“人工智能与科学家未来的互动会怎样？这是我接下来希望研究的课题。”
2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士。她曾在采访中表示：“一直以来，我都是一名研究者。内心深处最想要解决真正困难的技术问题。”
Axiom Math：让AI成为数学研究的核心工具
“Axiom”（公理）——这一名字象征着构建数学理论的出发点。洪乐潼曾表示，创办Axiom Math的初衷，并非想让AI简单地“刷题”，而是探索一种更前沿的可能性：让人工智能成为未来数学研究的核心工具之一。
洪乐潼在X平台上发布了Axiom的宣传视频，称“我们正在打造一个能够自我改进的超级智能推理系统，起点是一个AI数学家。”
区别于传统的聊天机器人，Axiom Math致力于构建能够进行严密逻辑推理、数学证明和高难度问题求解的系统。公司专注于数学领域，通过学习严格的逻辑推理和证明过程，使AI能够像数学家一样构建和验证形式化证明，并保证结果的准确性和严谨性。其目标客户之一是对冲基金和量化交易公司，可为其快速解决投资、股市等金融领域的复杂数学问题。
今年初，当DeepSeek火爆全球时，洪乐潼曾感慨：“一个小而专注、特立独行的团队。一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。这就是DeepSeek的故事，也是我想亲自书写的故事。”
她的愿景正在迅速变为现实。前不久，Axiom Math成功获得6400万美元（约合人民币4.6亿元）种子轮融资，估值达3亿美元（约合人民币21.39亿元）。
前不久，《华尔街日报》刊登了一篇报道，在数学界和AI界引发轰动：被誉为世界上最杰出数学家之一的Ken Ono（小野·肯）宣布辞去弗吉尼亚大学的终身教授职位，前往硅谷，全职加入Axiom Math。
Ken Ono（小野·肯）是美籍日裔数论学家，被誉为“最接近拉马努金精神的数学家之一”。他在分拆理论和Ramanujan同余式等研究领域贡献卓著，是美国数学学会会士，弗吉尼亚大学终身教授，长期负责全美最顶尖的本科数学研究项目，培养过多位摩根奖获得者。好莱坞和奥运会都曾聘请他担任数学顾问。
无论从地位、声望还是收入，Ken都处于美国学术界的顶层。但在接近退休的年纪，他选择辞去终生教职，前往硅谷加入一个团队规模不到15人的初创公司。
对于这一决定，Ken给出的理由直接而有力——洪乐潼是他教过最优秀的学生之一，而且她正在做的事情，与他所理解的数学未来方向高度契合。他的新工作主要包括设计数学难题、构建数学能力基准，推动AI向更高层次的数学创造力发展。
Axiom核心员工中大多数来自Meta
值得注意的是，除了小野肯，这家新兴的AI公司还汇聚了一大批顶尖AI和数学界专家，其中著名的还有前Meta研究员François Charton，他曾让Transformer模型解常微分方程 (ODE) 与偏微分方程 (PDE)，这项研究后来也被视作让神经网络理解数学结构的先驱成果。
可见，越来越多顶尖人才正从传统学术体系流向人工智能前沿领域，不问地域、身份与年龄。Ken的加入，被视为Axiom Math在数学能力和研究深度上的大幅升级，真正如虎添翼。
洪乐潼和Axiom Math的故事，让我们看到了一位年轻创业者对技术未来的深刻洞察，这不仅是天才少年的成功传奇，更是数学研究范式可能发生转变的信号。当AI不仅能计算，还能进行严谨的数学推理与证明时，人类与机器在探索数学真理的道路上或将形成全新的协作模式。
新闻来源：综合整理自《中国科学报》、投资界、B Capital、Axiom Math等
|