陶哲轩邓煜等25位数学家联名发公开信 呼吁AI公司尊重数学证明规范

RecodeX 重构消息，包括陶哲轩、邓煜在内的25位数学家联名发表公开信，向人工智能公司提出要求，呼吁其在涉及数学证明的AI研发中遵循学术规范。公开信由多位知名数学家共同署名，具体诉求与后续回应尚未披露。