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

自述写代码 50 年的资深开发者反驳 Terence Tao 对 AI 数学证明的批评，认为优雅与可理解性应由人类数学家负责，不能期待工具代替审美判断。他已接受不再手写大量代码，将工作转向引导和质检 AI，并认为年轻人没有理由拒绝这种转变。