Datawhale分享 最新：陶哲轩，编辑：新智元AI，已成为菲尔兹奖得主最得心应手的工具。大约三周前，陶哲轩提出了一个协作项目——结合专业和业余数学家、自动定理证明器、AI工具，以及证明辅助语言Lean，来描述与4694条幺半群（mag