发布于 2024-10-15
AI 摘要
陶哲轩近期利用AI技术，在方程理论领域取得了显著进展。他提出一个项目，旨在结合专业和业余数学家、自动定理证明器、AI工具以及证明辅助语言Lean，共同研究4694条幺半群方程定理。目前，项目已进行19天，进度达到99.9