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

陶哲轩利用众包和AI辅助，完成4694条幺半群方程定理99.9963%的推理任务；项目通过Lean平台整合人工与机器贡献，发现了新技术和代数结构；传统自动定理证明器推理更强，但陶哲轩认为现代AI或许能解决剩余更复杂的难题。