AI用24天把1.5万页数学证明写进Lean，最难的一步却不是证明

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