MIT的计算机科学家在采访中提醒公众，AI模型在数学中发现模式并不等同于严格的数学证明。