主要观点总结
本文介绍了陶哲轩等人开展的“等式理论计划”项目，该项目旨在探索按蕴含关系排序的magma等式理论空间。项目利用人类数学家和AI工具（包括ChatGPT、Claude和GitHub Copilot等）共同协作，构建了展示4694个magma等式之间所有蕴含关系的“蕴含图”。项目的进度快速，大部分蕴含关系已得到解决，论文的撰写已提上日程。大模型工具在项目中的作用得到评估，同时介绍了项目的主要参与者和衍生项目。
关键观点总结
关键观点1: “等式理论计划”项目的背景和目标
该项目由陶哲轩发起，旨在探索magma等式理论空间，采用数学家+AI+证明辅助语言Lean的协作方式，构建一个展示4694个magma等式之间所有蕴含关系的“蕴含图”。
关键观点2: 项目的进展和成就
项目启动后进展迅速，大部分蕴含关系已得到解决，论文的撰写已提上日程。大模型工具在项目中的作用得到评估，其中GitHub Copilot主要用于加快代码编写，Claude用于创建可视化工具，ChatGPT则激发数学家的灵感。
关键观点3: 项目的主要参与者和贡献
项目的主要参与者包括陶哲轩、意大利数学家Pietro Monticone和Shreyas Srinivas等。Lean在整合人类和机器生成的贡献方面表现出色，机器生成的部分在数量上是贡献的最主要来源。
关键观点4: 项目的衍生项目
除了主项目外，项目还有衍生项目，如研究在有限原群限制下的类似蕴含图、对蕴含图进行数据分析等。陶哲轩希望项目中的蕴含关系能够作为未来AI数学工具的基准测试。
关键观点5: MEET2025智能未来大会
定档于12月11日的MEET2025智能未来大会将探讨行业破局之道，首批嘉宾阵容包括李开复博士、周志华教授、智源研究院王仲远院长等。大会观众报名通道已开启。
文章预览
鱼羊 一水 发自 凹非寺 量子位 | 公众号 QbitAI 57天， 人类和AI合作 搞定了4694个等式之间22028942个蕴含关系！ 大神陶哲轩激动宣布： 等式理论计划 ，成功。 “等式理论计划”，由陶哲轩本人在2024年9月25日发起，目的是探索按蕴含关系排序的原群 （magma） 等式理论空间。 特别的是，在这个项目里，陶哲轩不仅集合了人类数学家的力量，还把 AI工具 纳入了合作者的范围，包括 ChatGPT 、 Claude 和 GitHub Copilot 。 项目发起当日就正式启动，仅仅9天，项目进度就达到了 99.866% 。 而现在，在2200万+个需要证明的蕴含关系中，8178279个已被证实，13855193个已被证伪，仅有162个还悬而未决。 按陶哲轩的说法，就是离“宣布完全成功”基本只是“时间问题”： 因此，我们现在已经开始着手撰写论文了。 什么是“等式理论计划” 还是先来扒一扒陶哲轩这回究竟是整
………………………………
