陶哲轩众包数学项目完成度99.99%：仍未看到AI工具的重大贡献

数学家陶哲轩发起的众包项目结合了专业和业余数学家、自动定理证明器及AI工具，旨在描述4694条magma方程定律间的蕴含关系。目前项目已完成99.9963%，接近尾声。尽管现代AI工具目前作用有限，但仍有望在解决最后难题中发挥关键作用。
来源：https://mp.weixin.qq.com/s/a8N24PmP5D6uzfZly1Ua6g