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