确实也是轰动数学和 AI 两界了。

因为就在最近，世界级顶尖数学家宣布辞职，前往硅谷，全职加入 AI 初创公司——

这家公司，还是自己学生创办的——一个 24 岁 00 后华人女生。

这个数学家，正是被誉为 " 最懂拉马努金的当代数论学者 " 的小野肯（Ken Ono）。

一辈子都扑在纯数学上，拿奖拿到手软、荣誉满身的他，如今脱掉学者长衫，带着学生一块儿辞职创业，其抉择堪称激进。

吸引他的这家公司，也不是等闲之辈，而是硅谷新贵—— Axiom，一家主打 AI 数学的明星公司。

几个月前，凭借 0 产品 0 用户就实现了 3 亿美元估值，创始人 24 岁、斯坦福数学博士辍学，名叫洪乐潼（Carina Letong Hong）。

洪是公认的数学少年天才、IMO 金牌得主、三年 MIT 数学和物理双学位、2022 年度中国罗德学者，也是仅有的 4 名中国获奖者之一……

如今师生搭档，创业之路再获强大助力。

最不可能做 AI 的人做 AI 了

据悉，小野肯将作为该公司的第 15 位员工加入，职位是创始数学家。

他主要的工作是推动内部 AI 模型达到性能极限，通过设计出只有深度理解数学原理才能够解决的数学问题，以及制定衡量系统性能的基准，指导模型优化。

用小野肯自己的话来说就是，他负责坐镇公司的大后方，为模型 " 绘制地图 "，评估模型现有的水平和掌握数学界公理。

在出发去探索新土地之前，你需要知道你现在的位置以及已经探索过的地方。

而事实上，在不久前，小野肯对加入硅谷 AI 初创公司这件事还并不感冒，甚至他对整个 AI 领域都持怀疑态度。

他常常调侃自己是个天生智能（Naturally Intelligent），AI 想要在数学方面取代他，再过个几十年吧。

这并非他自吹自擂，美国数学学会前会长 Ken Ribet 曾评价他是" 数学领域举足轻重的人物 "。

他推动并扩展了拉马努金的分拆理论，合作证明了大量关于分拆函数的新等式、母函数、模形式结构，包括拉马努金同余式到影月光猜想。

2024 年 9 月，他还在 PNAS（美国国家科学院院刊）上合作发表了一篇关于罗杰斯 - 拉马努金恒等式的应用论文，并将其用于检测质数。

为此他还一度被誉为 " 继承拉马努金精神的现代数学家之一 "。

另外作为美国数学学会（AMS）会士的他长期在美国名校任教，拥有弗吉尼亚大学终身教职，领导了全国顶尖的精英本科生研究项目，并陆续指导出数十位摩根奖获得者。

正是这样一个学术界的 " 老古板 "，却出乎意料地辞去了自己的终身教职。

改变他想法的契机出现在去年春天，他被受邀参加专为 AI 模型测试编纂研究级数学问题的研讨会，结果在 AI 面前，他有点道心破碎：

我曾经对 AI 模型的领先优势正在缩小，尤其是在我不擅长的数学领域，我感觉模型已经遥遥领先于我。

Sad！感觉自己的饭碗不保……结果愁眉苦脸多日后，他终于顿悟：那不如自己砸自己的饭碗（bushi）。

他意识到模型提供的也不过是一种全新的数学解决途径，造一个数学 AI 也未尝不可。

于是小野肯决定做出改变，离开学术界，并联系了自己的门生——当时正在广招人才的洪乐潼。

从师生到 AI 创业合作

洪乐潼原本在斯坦福读博，后来退学创业，建立了 AI 公司 Axiom（公理）。

Axiom 和小野肯的目标不谋而合，核心目标就是为量化和对冲基金公司开发可以解决实际数学问题的 AI。

具体来说，将通过学习严格的逻辑推理和数学证明的过程，让 AI 能够像数学家一样构建和验证形式化证明（formal mathematical proofs），并保证结果的准确性和严谨性。

然后将产品卖给对冲基金和量化交易公司，帮助他们快速解决投资、股市等金融领域的复杂数学问题。

最近，Axiom 在数学界表现亮眼，一举解决了Erd ő s 问题。

Erd ő s 网站共收集了 1100 个组合数学和数论难题，其中只有 266 个得到证明，Lean 形式化的仅有 10 个。

其中是一个 30 年前的加法数论问题，涉及将整数表示为多个进制下的幂之和，在 Axiom 发布的前两天，Harmonic 同样宣称解决了该问题，但只完成了简化版问题的证明，以及 Lean 形式化验证。

而 AxiomProver 模型则将其进一步验证到基础公理层面。

则源自 45 年前，询问某个特定的迭代算术过程是否最终一定会产生重复元素。几周前，OpenAI 曾声称GPT-5解决了该问题，但社区指出，它只是检索到了现有文献，并没有真正解决。

Axiom 则是确实完成了这项工作，并借助 Lean 形式化完成了所有的类型检查。

要知道，这一切都来自于一个刚刚成立的初创公司，起步晚、公司员工也只有十来名。

但却挖走了一大批顶尖 AI 和数学界专家，除了小野肯，其中著名的还有前 Meta 研究员Fran ç ois Charton，他曾让 Transformer 模型解常微分方程   ( ODE )   与偏微分方程   ( PDE ) ，这项研究后来也被视作让神经网络理解数学结构的先驱成果。

而小野肯在加入 Axiom 之前，还连续拒绝了多份硅谷其它公司的邀请。

之前首轮融资更是靠着 0 产品 0 用户，就实现了3 亿美元估值，投资人中也不乏 B Capital 这类顶级 VC。

为啥大家都押注 Axiom 呢？

究其根本，还是因为其创始人洪乐潼值得。

细数洪乐潼的履历：

出生于中国广州，父母没有受过高等教育，但她从小就对数学兴趣浓厚，于是自学英语以读懂领域教科书。

高中加入 CMO 省队，经过层层筛选，成为最后仅剩的 4 位女生之一。

后来在罗斯计划和斯坦福数学营中迷上了勒让德 / 雅可比符号和处理理论，并决心攻读高等数学。

我一直对数学发现非常感兴趣。奥林匹克数学是一种持续的多巴胺冲击，但研究型数学则是头撞南墙。这是痛苦和折磨的，但我喜欢这部分。

随后她只用了 3 年时间，就读完麻省理工数学和物理本科双学位，并拿下 IMO 金牌。

在此期间还发表了 9 篇论文，涉及领域相当广泛，包括模椭圆曲线与 K3 曲面的 L 函数、月光猜想、theta 与划分函数同余方程、堆栈排序算法，和二部图边染色的马尔可夫链。

其中大多数还是和张盛桐（本科期间登上数学四大顶刊）合作完成，并刊登在《美国数学会会报》、《拉马努金期刊》上。

也是在 MIT 时期，还是大一新生的洪乐潼成为了小野肯的学生，加入了他的数论项目。

在小野肯的指导下她解决了拉马努金理论中的部分猜想，并获得了拉马努金精神奖学金。

随后她又连续获得 Schaefer 数学奖全美女生第一，Frank 和 Brennie Morgan 本科生杰出数学研究奖，并被提名为 2022 年度中国罗德学者，是仅有的 4 名中国获奖者之一。

2024 年拿下斯坦福数学博士录取 offer，研究方向为数论、组合学和概率学，还进修了法律学课程。

凭借着对数学和 AI 的热爱，她最终决定告别校园全身心投入创业，和 Meta 的 AI 科学家Shubho Sengupta一起加入了这场与时间赛跑的竞争，她表示：

研究数学真的很难，为数学开发 AI 更难。

但她始终记得 AMD CEO苏妈给他们的建议：" 朝着最困难的问题前进 "。

她也的确这样做了，Axiom 从建立之初就立志寻找数学公理，破解困扰人类数个世纪的问题，她最近也被评为2026 年福布斯 30 位 30 岁以下的 AI 精英。

现在 Axiom 不仅有 00 后斯坦福数学博士创始人、巨额融资加持，还再度迎来世界级顶尖数学家的加盟。

从师生到合作伙伴，他们正在像当年的黄金师徒哈代和拉马努金，携手逼近数学界的 GPT 时刻。

而一切，才刚刚开始。

参考链接：

[ 1 ] https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417?st=v3DHMi&reflink=desktopwebshare_permalink

[ 2 ] https://x.com/CarinaLHong/status/1996606602238189831

[ 3 ] https://x.com/CarinaLHong/status/1995921695010685109

[ 4 ] https://mp.weixin.qq.com/s/xxlKJ-6_SlHbia_RPnwiJA

一键三连「点赞」「转发」「小心心」

欢迎在评论区留下你的想法！

—  完  —

 锁定 12 月 10 日周三，AI 圈一年一度绝对不容错过的盛宴马上就要来了——MEET2026 智能未来大会。 了解详情

‍

    重磅 GenAI 对话 + 前沿 Agent 圆桌，深挖年度最热议题

    近三十位来自学术界、产业界与前沿创业一线的重量级嘉宾

    「人工智能年度榜单」与「年度 AI 趋势报告」正式发布

，一起来 AI 认知跨年 ❤️‍

点亮星标

科技前沿进展每日见