RecodeX 重构消息，OpenAI的Astra模型以2000美元成本解决了10道开放式数学难题，展示AI推理能力新突破。