RecodeX 重构消息，OpenAI预告其下一代AI模型Astra，该模型解决了10个长期未解的数学难题。