陶哲轩全网悬赏「最强大脑」！AI+人类颠覆数学难题？凡尔赛网友已下场

文章预览

想参加陶哲轩发起的「众包」数学研究项目吗？ 机会来了！ AI辅助证明数学研究，越来越可行了 在传统上，一个数学研究项目通常是由1到5名数学专家来完成的。 他们每个人都对项目的各方面都足够熟悉，可以验证彼此的贡献。 但如果要组织起更大规模的数学研究项目，特别是涉及公众贡献的项目，就麻烦多了。 原因在于，很难验证所有人的贡献。 2023年底，陶哲轩宣布：将多项式Freiman-Ruzsa猜想的证明形式化的Lean4项目，在三周后取得了成功（图为最新状态） 要知道，在数学论证某个部分中的单个错误，可能就会使整个项目失败。 而且，以一个典型数学项目的复杂程度来说，期待具有本科数学教育水平的公众做出有意义的贡献，也是不现实的。 由此我们也可以知道，把AI工具纳入到数学研究项目中，也是极有挑战性的。 因为AI会生成看似合理 ………………………………