陶哲轩悬赏“最强大脑”，AI与人类携手挑战数学难题 新智元报道编辑：Aeneas 好困【新智元导读】最近，陶哲轩向广大网友和数学爱好者发起了挑战：大众数学爱好者、证明助理、自动化助手和AI联合起来，是否可以证明扩展几个数量级的数学问题？想参加陶哲轩发起的「众包」数学研究项目吗？机会来了！AI辅助证明数学研究，越...
