RecodeX 重构消息，OpenAI本周发布重大研究更新：其下一代前沿模型Astra的内部版本成功证明了10个长期未解的数学和科学定理，相关token消耗成本约为2000美元。