bit.fanBit.FanWeb3 新闻 · 博彩平台评测 · 市场洞察
‹ 返回媒体资讯理论计算机科学

理论计算机科学

OpenAI
2026-08-02 08:30:10

OpenAI首曝下一代模型Astra：解出10道停滞十年以上数学难题

OpenAI在官方博客首次披露下一代主力模型Astra的内部版本，称其一次处理了10道停滞超过10年的公开数学与理论计算机科学难题。OpenAI表示，相关论证已整理为249页手稿，并进一步形式化为可由Lean逐行验算的证明，整套证明库已在GitHub开源。按Sol API费率计算，完成这10题的token总成本约为2,000美元。这一发布获得部分数学家肯定，但也因绕过传统期刊评审、直接通过博客公布，引发学界对署名权与学术信任机制的讨论。

2410
OpenAI首曝下一代模型Astra：解出10道停滞十年以上数学难题
OpenAI
2026-08-02 09:14:05

OpenAI称Astra在数学与理论计算机科学取得10项研究进展

OpenAI发布研究成果称，其下一代AI模型Astra在数学与理论计算机科学多个方向取得进展，覆盖高维几何、编码理论、群论、量子复杂性、后量子密码学和极值组合数学。官方公布的成果共10项。OpenAI表示，这些结果由内部版本Astra完成推导，求解计算成本约为2000美元，随后由研究人员整理成论文，并借助Lean生成可验证证明证书。

2050
OpenAI称Astra在数学与理论计算机科学取得10项研究进展
OpenAI
2026-08-01 10:02:36

未发布的 Astra 模型据称攻克 10 项长期数学难题

TechFlowPost 8 月 1 日披露，一款尚未发布的 Astra 模型可能为 GPT-6。信息显示，该模型在数学、量子复杂性和理论计算机科学领域攻克 10 项长期未解难题，涉及首个显式非 sofic 群和推翻 Connes 刚性猜想。核心论证由 Astra 生成，并在 Lean 中完成形式化证明，形成 249 页手稿和机器可验证证书；单次成功求解的 token 成本约为 2000 美元。

2050
未发布的 Astra 模型据称攻克 10 项长期数学难题