编辑：Aeneas 好困 【新智元导读】最近，陶哲轩向广大网友和数学爱好者发起了挑战：大众数学爱好者、证明助理、自动化助手和AI联合起来，是否可以证明扩展几个数量级的数学问题？ 想参加陶哲轩发起的「众包」数学研究项目吗？ 机会来了！ AI辅助证明数学研究，越来越可行了 在传统上，一个数学研究项目通常是由1到5名数学专家来完成的。 他们每个人都对项目的各方面都足够熟悉，可以验证彼此的贡献。 但如果要组织起更大规模的数学研究项目，特别是涉及公众贡献的项目，就麻烦多了。 原因在于，很难验证所有人的贡