“再见，并感谢您一直以来的合作，Francois Chollet！”
今天，一封发布于 Google for Developers 网站的公开信，让很多人略微震惊。
“今天，我们宣布 Keras 的创始人、人工智能领域的领军人物 Francois Chollet 将离开 Google，开始他职业生涯的新篇章。虽然我们对他的离去感到悲伤，但我们为他的巨大贡献感到无比自豪，并很高兴看到他的下一个成就。”
公开信之外，再没有与 Francois Chollet 离职相关的更多信息，他本人也尚未在任何渠道进行回应。
Francois Chollet 1989 年出生于法国，2012 年毕业于巴黎理工学院，获得工程硕士学位，目前 35 岁。
2015 年 3 月 27 日，身为谷歌软件工程师的 Francois Chollet 在其 GitHub 上提交并公布了 Keras 的首个版本。一开始，Francois 开发 Keras 是为了方便自己的研究和实验。但随着深度学习的普及，许多开发人员、程序员和机器学习从业人员都因其易于使用的 API 而涌向 Keras。
为使用纯 Python 编写的深度学习框架，Keras 的代码更加简单方便，适用于初学者。此外，Keras 具有很强的易扩展性，能够直观地定义神经网络，函数式 API 的使用令用户可以将层定义为函数。
为了训练自己的自定义神经网络，Keras 需要一个后端。在 v1.1.0 之前，Keras 的默认后端都是 Theano。谷歌发布 TensorFlow 后，Keras 开始支持 TensorFlow 作为后端。TensorFlow 2.0 发布时，谷歌宣布 Keras 成为 TensorFlow 的官方高级 API。
不过，领域内的很多开发者指出，二者的合并不是一个双赢的结果，甚至表示“Keras 已经被谷歌杀死了”。后续是：在 2021 年，Francois 将 Keras 的代码从 TensorFlow 代码库中分离出来，移回到了自己的 repo。
在 Keras 之外，Francois 从未停止过对前沿技术的探索。
2019 年，Francois 发布了通用人工智能抽象与推理语料库（ARC-AGI）基准，该基准可用于衡量人工智能系统解决新颖推理问题的能力。
ARC 看起来很像 IQ 测试，它是一组推理任务，其中每一个任务通过少量展示（通常是三个）来解释，你能够基于这些展示学习如何完成任务。ARC 主张评估系统所用的每一个任务都应当是全新的，且只能使用类似人类先天知识的知识类型。
人类可以解决所有 ARC 任务，且无需任何文字解释或先验训练，但当时的所有 AI 技术都无法解决 ARC 任务。2024 年，Francois 发起了 ARC Prize，这是一项奖金 100 万美元的竞赛，旨在解决 ARC-AGI 基准。
这几年，伴随着 Scaling Law 等概念的验证，大模型的推理能力也在突飞猛进。但即使对于最新的 OpenAI o1 来说，ARC Prize 测试仍然是可望而不可即的高峰。这也再次印证了 Francois 当初提出 ARC 基准的前瞻性。就在今年的 9 月，Francois 还被《时代》杂志评为人工智能领域最具影响力的 100 人之一。
或许，现在正是 Francois 告别谷歌的好时机。对于 Francois 来说，ARC Prize 会是他接下来全身心投入的事业吗？
