RecodeX 重构消息，OpenAI未发布模型成功解决数十年来悬而未决的数学难题。