Cohere Labs 开讲：用 Lean 形式化验证让 AI 数学推理可机器检验

Cohere Labs 的 ML Math 开放科学社区将于 10 月 5 日举办线上讲座，由 Robert Joseph George 主讲「为数学与科学构建可信 AI」，介绍 Lean 与形式化定理证明如何让数学和计算推理变得机器可检验。