OpenAI 下一代模型 Astra，据说在数学问题上又有新进展，而且成本不高。