标签：Lean工具

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

陶哲轩发起的“等式理论计划”在人类与AI的合作下取得显著成果。该计划旨在探索原群等式理论空间，通过数学家、AI工具和证明辅助语言Lean的协作，构建4694个mag...

AIGC动态

1个月前