ChainThink 消息，8 月 1 日，OpenAI 首次正式公布下一款主力模型 Astra，其内部版本在 10 个长期未解的数学和理论计算机科学问题上取得新结果。

这些问题的核心结论至少 10 年没有进展，多数停滞时间更长。其中，Astra 首次构造出非 sofic 群，回答了群论中的一个核心开放问题；

同时推翻 Connes 刚性猜想，并解决 3 个 Erdős 问题。其余成果涉及球体堆积、编码理论、量子复杂性和后量子密码相关问题的新上下界与困难性证明。

OpenAI 称，模型找到这 10 项结果所用 Token 按 Sol API 价格折算约为 2000 美元。

相关数学论证由 Astra 生成，人类随后协助整理成论文，模型再将每项证明转成 Lean 证书，用于计算机逐步核验推导是否成立。