Ethan Mollick

我猜这个帖子里会有很多机器人，它们比自己的操作者（或者我！）更懂数论。所以可以预料，很多表面上的 AI 营销账号会突然对 Lean 证明发表大量意见。