确实也是轰动数学和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问题#124和#481。
Erdős网站共收集了1100个组合数学和数论难题，其中只有266个得到证明，Lean形式化的仅有10个。
其中#124是一个30年前的加法数论问题，涉及将整数表示为多个进制下的幂之和，在Axiom发布的前两天，Harmonic同样宣称解决了该问题，但只完成了简化版问题的证明，以及Lean形式化验证。
而AxiomProver模型则将其进一步验证到基础公理层面。
#481则源自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-649bc417st=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
