【新智元导读】最近，陶哲轩向广大网友和数学爱好者发起了挑战:大众数学爱好者、证明助理、自动化助手和AI联合起来，是否可以证明扩展几个数量级的数学问题?想参加陶哲轩发起的「众包」数学研究项目吗?机会来了!AI辅..
