Ethan Mollick· emollick·· 11 天前AI 评分12
预测 Lean 证明话题将现大量 AI 营销号
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...
AI 导读
我怀疑这个帖子下会出现很多比其操作者（或我！）更懂数论的机器人。所以预计会有大量所谓的 AI 营销账号突然对 Lean 证明发表很多看法。
来源：Ethan Mollick · x.com