RecodeX 重构消息，OpenAI未发布的Astra模型以不到2000美元的计算成本解决了十个数学与理论计算机科学未解问题，并可能以GPT-6形式发布。