大约在三周前，陶哲轩提出了一个众包项目，结合专业和业余数学家、自动定理证明器、AI工具和证明辅助语言Lean，来描述与4694条magma，原群，方程定律相关的蕴含图，这些定律可以使用最多四次magm...

新智元报道，桃子好困，新智元导读，AI已完全融入数学家的工作流中，陶哲轩刚刚宣布，最新方程理论项目已完成99.9963%，众包之力外加AI辅助取得了重大成绩，他认为，剩余大约700个让人类头疼的难题，...