Karpathy加盟Anthropic，OpenAI内部AI突破数学难题

5月19日 8:05，Andrej Karpathy在X上发了一条36个字的帖子。

"Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D."

帖子发出14.8万次转发，这在AI圈几乎是破纪录的数字。

先说这个人是谁。Karpathy今年39岁，是OpenAI最初11位联创之一，后来被马斯克挖走担任特斯拉AI总监，主导了特斯拉Autopilot的整个技术路线。2022年他离开特斯拉，短暂回到OpenAI，后来创办了AI教育创业公司Eureka Labs，一直到本周加入Anthropic。他是全球最知名的AI研究者之一，在X上拥有超过260万粉丝，他的神经网络教学视频被全球无数AI学习者奉为入门必看。

他去Anthropic做什么？加入的是预训练（Pretraining）团队，团队负责人是Nick Joseph，也是前OpenAI员工。Anthropic官方表示，Karpathy将组建一支新团队，专注于“用Claude本身来加速预训练研究"——简单说，就是让AI帮助训练更强的AI。这个方向在业内有一个更正式的名字，叫"自动化AI研究"（Automated AI Research），被认为是未来两三年最重要的技术前沿之一。

这件事的时机有点耐人寻味。就在Karpathy官宣加入的同一周，马斯克诉OpenAI一案由加州联邦陪审团裁定OpenAI不构成违约，马斯克的索赔全部落空。庭审过程中，Karpathy的名字和他在早期OpenAI的工作多次被提及。他选择在这个时间节点宣布加入Anthropic，不知道是不是一种有意的表态。

对Anthropic来说，这是近期最有分量的一次人才收获。就在Karpathy官宣的同一天，Anthropic还宣布了另一位新成员——来自Meta的网络安全专家Chris Rohlf加入Anthropic前沿红队，负责对最先进AI模型进行高强度的安全压力测试。两个方向同时在招：一个负责让模型更强，一个负责让模型更安全。

同一周，OpenAI那边也发生了一件在数学圈引发轰动的事。

OpenAI的内部AI模型自主推翻了一个困扰数学界近80年的几何猜想。据悉，这个猜想此前被认为极难用机器方法攻克，模型在没有人类引导的情况下独立完成了推理和证明过程。

Fields奖得主、剑桥大学教授Tim Gowers在看到结果后公开发表评论，将其称为“AI数学领域的一个里程碑"。Fields奖是数学界最高荣誉，通常四年才颁发一次，得主的评价具有非常高的权威性。

这件事的意义在于，它不是AI辅助数学家解题，而是AI在没有人类参与的情况下，独立完成了一次真正意义上的数学发现。过去，AI在数学上的突破大多集中在"已知答案、验证过程"的场景，而自主推翻一个悬而未决的猜想，是一个不同性质的进步。

需要说明的是，目前这个结果尚未经过同行评审的正式验证，具体是哪个猜想、完整的推理过程，OpenAI也暂时没有公开详情。这是一个值得持续关注的事件，但在官方论文发表和外部验证之前，应保留一定的观察空间。

把两件事放在一起看，这一周对Anthropic来说是一个很有意义的窗口：Karpathy进来，是在赌"自动化AI研究"这条路；而对面OpenAI正在展示这条路已经走到了哪里。接下来这两家公司在预训练效率和AI自主研发能力上的竞争，会比以往任何时候都更值得关注。

数据