Mollick调侃AI营销号突然懂Lean证明

我怀疑这个推文串里会有很多 bot，它们的数论水平比自己的操作者（或者我！）还好。所以可以预期，突然会有一堆表面上是 AI 营销的账号，对 Lean 证明冒出一堆看法。