近日，谷歌DeepMind正式在GitHub上开源了“形式化猜想”项目，引发行业广泛热议。 项目链接：https://github.com/google-deepmind/formal-conjectures 特别是，长期对此领域高度关注的菲尔兹奖得主陶哲轩发表长文对 ...

微软加快了AI人才“抢夺战”，从谷歌的DeepMind挖来了20多名关键员工，其中包括Gemini工程团队的前负责人。