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.

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.

Ethan Mollick(@emollick)

Ethan Mollick on X: "I suspect there are going to be a lot of bots in this thread who understand number theory better th...

1. 主题聚焦：I suspect there are going to be a lot of bots in 2. 来源：Ethan Mollick(@emollick)，建议结合原文判断细节。 3. AI 分析暂不可用，本条为保底评分与摘要。

AI