币界网消息，OpenAI首次正式公布其下一款主力模型Astra。该模型在10个长期未解的数学和理论计算机科学问题上取得新进展，其中包括构造出非sofic群，推翻Connes刚性猜想，并解决3个Erdős问题。其余成果涉及球体堆积、编码理论、量子复杂性和后量子密码相关问题的新上下界与困难性证明。根据爆料博主Leo的消息，OpenAI计划在下周发布Astra，作为自GPT-4.5以来训练过的最大模型。