50年老程序员回怼陶哲轩：AI证明不优雅不该怪工具

一位自称有 50 年编程经验的资深开发者发长文回怼数学家陶哲轩，认为 AI 证明不优雅、不顾可读性、不利于后续发展是数学家自己的责任，不该怪工具。陶哲轩此前批评 AI 生成的数学证明虽结果正确，却不追求优雅。该开发者把这种抱怨比作责怪凿子，交锋引发关于 AI 在数学研究中角色定位的讨论。