陶哲轩发起的众包数学项目接近成功，结合专业和业余数学家、AI工具及Lean语言，研究4694条magma方程定律的蕴含关系。项目已完成99.9963%，仅剩少数未决。通过传递性和对偶对称性简化证明，利用自动定理证明器和人类贡献，发现新技术和代数结构。尽管现代AI工具贡献有限，但希望其在解决最难部分中发挥更大作用。