Keras 之父创办新实验室 Ndea：押注程序合成，探索 AGI 新路径

如果你这几年一直关注 AI，大概率听过 François Chollet 的名字。他是深度学习框架 Keras 的作者，也是著名的 ARC 基准测试的出题人。

在 Google 干了整整十年之后，Chollet 决定离开，拉上 Zapier 联合创始人兼 ARC Prize 发起人 Mike Knoop，创办了一家名为 Ndea 的新 AI 实验室。他们不想跟着主流去堆算力做下一个大语言模型，而是选了一条冷门得多的路：用深度学习来引导「程序合成」（Program Synthesis）。

把直觉和逻辑捏在一起

大多数头部实验室都在拿海量文本训练超大规模的神经网络，把程序合成看作边缘拼图。但在 Chollet 看来，程序合成与深度学习同等重要，它现在的处境就像是 2012 年爆发前夜的深度学习。

程序合成说白了就是让系统自动生成一段代码或程序，去解决手头的未知问题。Chollet 认为，目前的模型只能在见过的数据里做模式匹配，而人类遇到从未见过的问题时，会即时生成一套解法。

甚至这家公司的名字「Ndea」本身就藏着野心。它源自希腊语里的两个词：代表直觉理解的「ennoia」和代表逻辑思考的「dianoia」。Chollet 想要做的，正是把深度学习擅长的直觉模式匹配，和程序合成代表的严格逻辑推理融合起来。

他表示，团队有较小但真实的机会取得突破，打造出学习效率至少比肩人类、且长期看不到能力瓶颈的 AI 系统。

从出题人变成答题人

在过去几年里，Chollet 更多是以批评者和出题人的角色出现。他在 Google 期间写下了著名论文《论智能的测量》，并设计了专门测试通用泛化能力的 ARC 基准。

前不久，OpenAI 的新推理模型 o3 在 ARC 测试中拿下了惊人的成绩：标准算力下得分 75.7%，提高算力后更是冲到了 87.5%。但 Chollet 当时就指出，o3 依然算不上真正的通用智能，它在某些极简单的任务上依然会崩盘，运作机制也和人类完全不同。

现在，Chollet 显然坐不住了。以前只是在 Google 业余搞搞的 ARC 和理论研究，现在成了 Ndea 的主业。搭档 Mike Knoop 不仅是成功的创业者，此前还投资过 Cognition、Braintrust 和 After Thought 等知名 AI 团队。他们打算组建一支全球分布式的远程研究团队，把实验室打造成加速科学发现的工厂。

为什么重要

在所有人都在用强化学习、思维链堆算力死磕大模型的当口，Chollet 带着真金白银和顶级声誉另起炉灶，对整个行业来说是一剂清醒剂。

对开发者和研究人员来说，目前 Ndea 还刚起步，并没有开放可以直接调用的 API 或工具，普通开发者短时间内用不上它。但它的技术方向非常值得追踪：近期在 ARC 榜单上名列前茅的方案，恰恰就是深度学习与程序合成的混合体。如果这个路径走通，未来的 AI 编程助手可能不再只是基于概率补全代码，而是真的具备现场写出全新算法的能力。

我们认为，Chollet 这次转型做答题人非常聪明。长期以来，大模型阵营总是指责批评者「只会提意见不会做产品」，现在出题人亲自下场用自己的理论造系统，不管成败都能给符号 AI 与连接主义的融合提供极具价值的实证。

不过隐患也显而易见。程序合成的搜索空间极度庞大，过去的纯符号方法早已被证明很难扩展，即便加上深度学习做引导，算力开销和工程难度也可能超乎想象。要证明自己比烧了上百亿美元的 Scaling Law 更高效，Ndea 还有一场硬仗要打。