50 年老程序员回怼 Terence Tao：AI 证明不优雅是数学家自己的活

一位自述写代码 50 年的资深开发者公开反驳 Terence Tao 对 AI 生成证明“结果漂亮却不顺优雅、不顺读者理解”的批评，认为优雅与可理解性本就是人类数学家的职责，工具没有义务替人完成审美判断。他以“凿子没义务把雕塑变美”作比，并称自己已接受不再手写大量代码，工作转为引导和质检 AI。