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

点击“跳转原文网站”，继续查看这篇内容。