【量子位 2025年12月6日讯】硅谷AI圈与数学界近期被一则跨界新闻刷屏：被誉为“当代拉马努金研究第一人”的57岁数学家小野肯（Ken Ono），正式辞去弗吉尼亚大学终身教职，全职加入由自己学生——24岁00后华人女生洪乐潼创办的AI初创公司Axiom。这位曾调侃“AI想在数学领域取代我还需几十年”的学术权威，如今转身成为学生麾下“创始数学家”，师生联手攻坚“AI数学家”难题，而这家仅成立数月、员工仅15人的初创公司，此前已凭借“0产品0用户”斩获3亿美元估值，成为硅谷最受瞩目的数学AI新势力。
从“AI怀疑论者”到“创业合伙人”：数学权威的认知颠覆
小野肯的学术生涯堪称传奇：深耕数论领域近40年，是拉马努金分拆理论的全球顶尖研究者，曾合作证明“影月光猜想”等世界级难题，2024年还在《美国国家科学院院刊》（PNAS）发表论文，将经典数学恒等式用于质数检测；作为美国数学学会（AMS）会士，他培养出数十位摩根奖（本科生数学最高奖）获得者，手握终身教职的“铁饭碗”，是学界公认的“纯数学坚守者”。
就在一年前，他对AI还持鲜明怀疑态度，多次公开调侃“我靠‘天生智能’做数学，AI想追上至少还要几十年”。转折点发生在2024年春天：受邀参与为AI模型设计研究级数学测试题时，他意外发现，在部分非自己专长的数学领域，AI模型的推理速度与准确性已远超预期。“那种领先优势让我危机感十足，甚至觉得自己的饭碗要保不住了”，小野肯在接受《华尔街日报》采访时坦言。
这场“认知冲击”让他重新审视AI与数学的关系：“AI不是要取代数学家，而是提供全新的解题思路。既然如此，不如亲自参与打造更懂数学的AI。”他第一时间联系上正在硅谷创业的得意门生洪乐潼，最终决定脱下“学者长衫”，成为Axiom的第15位员工。
24岁华人创始人：从奥数天才到AI创业先锋
能吸引恩师放弃终身教职的洪乐潼，履历同样惊艳。这位出生于广州、父母无高等教育背景的00后，自小展现出数学天赋：高中入选CMO省队，是当年仅剩的4名女生之一；18岁通过罗斯计划、斯坦福数学营接触前沿数论，立志深耕纯数学；仅用3年就拿下MIT数学与物理双学位，期间发表9篇论文，涵盖“月光猜想”“模椭圆曲线”等硬核领域，还与“本科登数学顶刊”的张盛桐合作，成果刊登于《美国数学会会报》等权威期刊，2022年更成为仅有的4名中国罗德学者之一。
2024年，已拿到斯坦福数学博士录取通知书的洪乐潼，做出了更激进的选择——退学创业。“奥林匹克数学是多巴胺冲击，但研究型数学是‘头撞南墙’，而用AI推进数学研究，是更难却更有价值的挑战”，她与前Meta AI科学家Shubho Sengupta共同创立Axiom，目标直指“让AI像数学家一样思考”：通过训练AI掌握严格的逻辑推理与形式化证明能力，解决金融量化、科学研究中的复杂数学问题。
尽管成立初期无产品、无用户，Axiom仍凭借创始人的学术背书与技术愿景，吸引B Capital等顶级VC注资，估值直接冲到3亿美元。洪乐潼的底气不仅来自个人履历，更源于对行业痛点的精准判断：“当前AI能做简单计算，却无法完成严谨的数学证明，而量化基金、科研机构恰恰需要这种‘精确到公理层面’的能力。”
15人团队攻克百年数学难题：Axiom的硬核实力
如今，Axiom虽仅有15名员工，却集结了数学与AI领域的“梦幻阵容”：除小野肯外，前Meta研究员François Charton也重磅加盟——他曾让Transformer模型成功求解常微分方程（ODE）与偏微分方程（PDE），是“神经网络理解数学结构”的先驱。
这支小而精的团队已交出亮眼成绩单：近期接连攻克数学界著名的Erdős问题#124与#481。其中，#124是困扰学界30年的加法数论难题，涉及整数在多进制下的幂和表示，此前Harmonic公司仅完成简化版证明，而Axiom的AI模型将其验证到基础公理层面；#481则是45年前提出的迭代算术问题，OpenAI曾宣称GPT-5解决该问题，却被社区揭穿是“检索现有文献”，Axiom则通过Lean形式化工具完成全流程验证，确保每一步推理严谨无误。
据小野肯介绍，他在团队中的核心工作是“为AI绘制数学地图”：设计只有深度理解数学原理才能解决的测试题，制定模型性能评估基准，推动AI突破能力边界。“就像航海前要先明确现有航线与未知领域，我要帮AI理清已掌握的公理、未解决的难题，避免它在数学迷宫中走弯路”，他透露，目前团队已开发出AxiomProver模型，在形式化证明准确率上，较通用大模型提升40%以上。
行业启示：AI与数学的融合，开启“新科学革命”？
Axiom的师生组合与技术突破，正引发学界与产业界对“AI+数学”的重新思考。长期以来，数学被视为“AI最难攻克的领域”——它需要的不仅是数据拟合，更是逻辑推理、创新猜想与严谨验证，而Axiom的实践证明，AI有望成为数学家的“高效搭档”：小野肯坦言，现在他每天会花2小时与AI讨论问题，“有时AI提出的解题思路，是人类从未想到的角度，这种跨物种的思维碰撞，正在打开数学研究的新维度”。
对于洪乐潼而言，团队的终极目标不止于商业落地：“我们希望AI能帮助人类破解那些困扰数个世纪的数学难题，甚至自主提出新猜想。就像当年哈代与拉马努金的黄金搭档推动数论发展，现在AI或许能成为新一代‘数学伙伴’。”目前，Axiom已与多家量化基金达成合作，其AI模型可快速处理高频交易中的风险定价、套利策略优化等问题，下一步还计划进军科研领域，助力物理、化学中的复杂模型求解。
随着小野肯的加入，Axiom不仅获得了数学界的权威背书，更拿到了通往“AI数学家”的关键钥匙。这场由00后主导、顶尖学者护航的创业实验，或许正在改写AI与数学的关系——未来，AI不再是简单的计算工具，而将成为推动科学发现的核心力量，而洪乐潼与小野肯的师生组合，也被业内比作“当代哈代与拉马努金”，正携手逼近“数学AI的GPT时刻”。
