陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线

菲尔兹奖得主陶哲轩宣布其方程理论项目已完成99.9963%，该项目旨在解决4694条幺半群方程定理之间的关系。在众包和自动定理证明器的帮助下，目前已解决22028942个关系中的绝大部分，剩余826个难题待解。尽管AI主要起辅助作用，但陶哲轩认为其在未来解决复杂问题上潜力巨大。
来源：https://mp.weixin.qq.com/s/QmKhWVtMD0lYJbq0n1e0KQ