57天内，人类与AI合作完成了4694个等式间22028942个蕴含关系的验证。陶哲轩宣布“等式理论计划”成功。 该计划始于2024年9月25日，旨在探索原群等式的蕴含关系。陶哲轩不仅集结了人类数学家，还引入了AI工具如ChatGPT、Claude和GitHub Copilot。项目启动后仅9天，进...

标题：陶哲轩宣布“等式理论计划”成功，57天完成2200万+数学关系证明 57天内，人类与AI合作完成了4694个等式之间22028942个蕴含关系的证明。大神陶哲轩宣布“等式理论计划”成功。 陶哲轩于2024年9月25日发起了“等式理论计划”，旨在探索原群等式理论空间中的蕴含关系。该项目集结了人类...