幣界網消息，OpenAI首次正式公佈其下一款主力模型Astra。該模型在10個長期未解的數學和理論計算機科學問題上取得新進展，其中包括構造出非sofic群，推翻Connes剛性猜想，並解決3個Erdős問題。其餘成果涉及球體堆積、編碼理論、量子複雜性和後量子密碼相關問題的新上下界與難度證明。根據爆料博主Leo的消息，OpenAI計劃在下週發布Astra，作爲自GPT-4.5以來訓練過的最大模型。