今天用AI+Lean证明了我的一个研究计划里的定理，这个定理很简单，我自己也可以证明。然而，这是我用AI+Lean证明的第一个新东西，以前未被人研究过的问题，所以值得写一条微博纪念一下。
发布于 浙江
运筹士
今天用AI+Lean证明了我的一个研究计划里的定理，这个定理很简单，我自己也可以证明。然而，这是我用AI+Lean证明的第一个新东西，以前未被人研究过的问题，所以值得写一条微博纪念一下。