RecodeX 重构消息,OpenAI模型引发数学基础危机的讨论与担忧