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

主要观点总结

新智元报道，陶哲轩发起了一项挑战，旨在探索将大众数学爱好者、证明助理、自动化助手和AI联合起来证明数学问题的新方法。他提出了一个项目来测试这一范式，该项目涉及模块化的数学研究，使用证明辅助语言（如Lean）来克服障碍，使专业数学家、公众和AI工具的合作成为可能。陶哲轩邀请读者参与提出反例，并探索更大范围的等式集ε，以扩展这种方法的应用范围。

关键观点总结

关键观点1: 陶哲轩发起的挑战

陶哲轩向大众数学爱好者、证明助理、自动化助手和AI发起了挑战，联合证明扩展几个数量级的数学问题。

关键观点2: 新的数学研究项目范式

陶哲轩提出了一个新的数学研究项目范式，该项目使用证明辅助语言（如Lean），以模块化的方式分解数学研究，使专业数学家、公众和AI工具能够合作。

关键观点3: 数学问题的哈斯图

陶哲轩通过哈斯图描述了原群的等式公理之间的推导关系，并探讨了这些公理之间的非蕴含关系。

关键观点4: ε集合的探究

陶哲轩提议探究更大范围的等式集ε，涉及使用原群运算最多四次的所有等式。他猜想使用AI工具可以生成大部分所需的代码，并邀请感兴趣的读者参与探索。

关键观点5: 邀请公众参与

陶哲轩通过他的博客文章和GitHub存储库邀请公众参与到这个项目中来，提出反例，探索新的数学领域。