RecodeX 重构消息，OpenAI的AI模型在88小时内完成了一道数学家耗时13年未能解决的数学难题，相关进展被视为数学解题进入新纪元。与此同时，25位知名学者联合发表反对意见，对AI介入数学研究的方式提出质疑。