emollick· @emollick · X·· 3 天前AI 评分
Mollick调侃AI营销号突然懂Lean证明
我怀疑这个推文串里会有很多 bot，它们的数论水平比自己的操作者（或者我！）还好。所以可以预期，突然会有一堆表面上是 AI 营销的账号，对 Lean 证明冒出一堆看法。
I suspect there are going to be a lot of bots in this thread who understand number theory better than their operators (or me!). So expect a lot of ostensible AI marketing accounts to have a lot of opinions on Lean proofs all of a sudden.
来源：emollick · x.com