针对陶哲轩提出的AI正杀死数学百年开放传统的观点，有回应明确表示该观点的论证方式