Ethan Mollick 分享数学家面对 AI 证明的第一手感受
当数学家们研究 OpenAI 发布的数百个重大 AI 证明时，这些早期第一手叙述记录了他们面对特定领域超人智能的感受。
问题以非人类的方式被解决，让我们不禁思考：真正“知道”一件事，究竟意味着什么…… https://scottaaronson.blog/?p=10169 https://t.co/saiSe2pl3f
我猜这条推文串里会有不少机器人，它们对数论的理解比操作者（或我！）还深。所以，预计许多看似只是 AI 营销的账号，会突然对 Lean 证明发表一大堆见解。
对照原文
Some early first-hand accounts of encountering a narrow superhuman intelligence as mathematicians grapple with the hundreds of big AI proofs released by OpenAI. Problems solved in inhuman ways that make us wonder what it means to actually know things... https://t.co/DgpHqbYKCR https://t.co/saiSe2pl3f
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.