RecodeX 重构消息，OpenAI正在开发的新模型Astra尚未正式发布，但据称已解决了10道多年来悬而未决的重大数学难题。这些数学问题此前数十年未能攻克，Astra的表现引发外界关注。目前该模型的具体细节和发布时间尚未公布。