量子位
·
陶哲轩宣布“等式理论计划”成功，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数学工具的基准测试。
➡️
