OpenAI：其即将发布的下一代模型 Astra 拿下10个几十年都没人推动的数学难题
推理成本约 2000 美元，47 万行证明全部开源、机器已验完逻辑。从这十个结果能看出这个还没发布的模型强在哪。