学术圈最近炸了个大新闻。

一位57岁的世界级数学家，突然宣布放弃自己的终身教职——跑去给24岁前学生打工了。

这位数学家叫Ken Ono，在弗吉尼亚大学教了很多年书。他这次加入的公司叫Axiom Math，是个专注AI数学的初创团队，创始人正是他曾经带过的学生Carina Hong（洪乐澜）。

有意思的是，Ken Ono以前其实不怎么看好AI搞数学。但最近这些模型在推理和证明上的表现，彻底改变了他的想法。现在他在Axiom Math当"创始数学家"，负责训练模型、设计测试标准、把握研究方向。

Axiom Math刚成立没多久，就拿到了6400万美元融资。他们的目标很明确：造出能做数学推理、自动证明、形式化验证的AI，然后把这套东西用到科研、安全审计、工程验证这些实际场景里去。

再说说这位创始人。Carina Hong本科MIT数学系，后来去斯坦福读数学和法律双博士（JD+PhD那种）。她本科时就拿过摩根奖提名——那可是数学界给本科生的最高荣誉之一。毕业后她去了Meta的前沿AI团队，专门研究数学推理方向，还拉了一帮前Meta的研究员出来创业。

现在行业里不少人觉得，Axiom Math的出现是个信号：当大模型遇到推理瓶颈时，数学能力可能就是下一个突破口。Ken Ono的加盟，某种程度上也算是传统学术界给这个方向投的一票。

顺带一提，Ken Ono是日裔，Carina Hong是华裔。两代人，跨越三十多岁的年龄差，在AI这条新赛道上重新组队了。