陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明

数学家陶哲轩发起的“等式理论计划”在57天内成功探索了4694个magma等式之间的22028942个蕴含关系。项目集合了人类数学家和AI工具，包括ChatGPT、Claude和GitHub Copilot，进展迅速，9天内达到99.866%的完成度。尽管AI工具在日常任务中表现出色，但在核心数学证明中的作用低于预期。目前，项目已基本完成，陶哲轩正着手撰写论文。
来源：https://mp.weixin.qq.com/s/UAaW6YYANyHIYQd18DsJhA