RecodeX 重构消息，OpenAI新模型Astra一次完成十项数学新结果。