自称有50年编程经验的开发者反驳陶哲轩：AI数学证明不优雅不该怪工具

自称有50年编程经验的开发者反驳陶哲轩，认为AI生成数学证明不够优雅、可读性不足，不应归咎于工具。陶哲轩此前批评AI证明虽结果正确，却不追求优雅、不利于后续发展；这场隔空交锋引发了关于AI在数学研究中角色定位的讨论。