RecodeX 重构消息，OpenAI下一代旗舰模型Astra在预览中展现强大推理能力，成功解决十项困扰数学界多年的重大难题。