Google DeepMind推出AI协数学家

📂 重要动态 · 📰 @demishassabis

Google DeepMind发布AI协数学家系统，支持多智能体协作解决数学问题。该系统能主动验证证明步骤，并与人类数学家形成互补。这一突破将改变数学研究范式，可能加速复杂定理的证明进程。

阅读原文