优雅与智能呈负相关：为什么聪明人写出不优雅的代码和证明

文章提出优雅与智能可能呈负相关：智能者能快速暴力求解，因而缺少动力去构造精巧抽象，如 von Neumann 直接心算无穷级数而非用捷径。软件工程中工作记忆大的人能容忍混乱代码库，AI 生成的数学证明在人类数学家看来冗长散乱，但对能轻松处理数百步逻辑的 LLM 并不更难。作者认为人类的相对"愚笨"反而催生了创造性抽象，可能是竞争优势之一。