OpenAI 首次披露下一代主要模型 Astra:内部版本解决 10 个数学开放问题-ChooseAI工具导航