RecodeX 重构消息，OpenAI发布研究，其下一代AI模型Astra在数学与理论计算机科学领域取得突破，解决高维几何、编码理论、量子复杂性等10个长期未解问题，计算成本约2000美元。