量子位
·
陶哲轩宣布“等式理论计划”成功，57天完成2200万+数学关系证明
💡
原文中文，约3200字，阅读约需8分钟。
📝
内容提要
陶哲轩宣布“等式理论计划”成功，57天内证明了超过2200万个数学关系，进展超出预期。该计划结合人类数学家与AI工具，探索magma等式的关系，已证实8178279个，证伪13855193个，剩余162个待决。论文撰写已启动，参与者多样，AI工具助力显著。
🎯
关键要点
- 陶哲轩宣布“等式理论计划”成功，57天内证明了超过2200万个数学关系。
- 该计划结合人类数学家与AI工具，探索magma等式的关系。
- 8178279个关系已被证实，13855193个已被证伪，剩余162个待决。
- 项目进度超出预期，9天内达到了99.866%的完成度。
- 计划采用数学家、AI和证明辅助语言Lean的协作方式。
- 陶哲轩希望通过该项目探索去中心化的数学研究方式。
- 项目参与者包括职业数学家、计算机科学家、学生和业余爱好者。
- AI工具在项目中发挥了重要作用，但表现低于预期。
- 项目的主要维护人包括意大利数学家Pietro Monticone和Shreyas Srinivas。
- 未来希望将该项目的蕴含关系作为AI数学工具的基准测试。
❓
延伸问答
陶哲轩的“等式理论计划”主要目标是什么？
该计划旨在探索按蕴含关系排序的原群（magma）等式理论空间。
在“等式理论计划”中，AI工具的作用是什么？
AI工具在项目中帮助加速证明过程，但表现低于预期，主要用于日常任务和激发灵感。
项目的进展如何？
项目在57天内证明了超过2200万个数学关系，8178279个已证实，13855193个已证伪，剩余162个待决。
参与“等式理论计划”的人员有哪些？
参与者包括职业数学家、计算机科学家、学生和业余爱好者，具有多样化背景。
陶哲轩对传统数学研究方式有何看法？
他认为传统方式由少数专业数学家主导，难以进行大规模的公众贡献研究，因此希望探索去中心化的研究方式。
未来“等式理论计划”有什么计划？
未来希望将该项目的蕴含关系作为AI数学工具的基准测试，并继续进行相关衍生项目。
➡️
