曝OpenAI内部模型Astra连破十大数学难题

据多方信源爆料，OpenAI的下一代内部模型（传闻代号为Astra）在数学和理论计算机科学领域取得了10项重大突破。该模型成功解决了包括球体填充、编码理论、群论和格密码学等停滞十年以上的公开难题，单题求解成本约为2000美元，并与人类合作输出了长达249页的论文。这一进展标志着大模型在高级学术研究中的巨大潜力，但模型的确切归属和名称仍存争议。

已确认

• 微软研究员 Sébastien Bubeck 透露了代号为 "Astra" 的下一代 AI 模型在数学推理领域的突破，并证实其证明了包括非 amenable 群存在性在内的多项数学新发现。
• 该模型的内部版本生成了数学论证，并与人类合作准备了长达 249 页的论文。
• 寻找全部 10 个解决方案的总 token 成本折合单题求解成本约为 2000 美元，且该内部模型仅用一周时间便完成了求解。
• 突破涵盖几何学、密码学、计算复杂度、量子博弈与拉姆齐理论等核心方向，官方即将发布 10 个由 Astra 证明的数学新发现。

尚未确认

• 帖子材料中存在信息源归属的争议：部分帖子指出这是 OpenAI 官方宣布的进展，但也有帖子（如 @burnytech）转述称，这是微软员工 Sébastien Bubeck 转述了 Google DeepMind 高管 Demis Hassabis 的推文，即该模型和成果实际上归属于 Google。
• 该下一代模型的具体名称 "Astra" 及其归属公司目前均处于传闻或爆料阶段，尚待官方最终明确。

为什么重要

• 这些突破展示了 AI 在解决前沿理论问题上的巨大潜力，尤其是针对长期悬而未决的开放性问题。
• 大模型在抽象推理和高级学术研究中的能力得到进一步验证，展现出了令人惊叹的“成本收益比”，可能大幅加速数学等基础学科的研究进程。
• 高昂的单题求解成本（约 2000 美元）也引发了关于 AI 研究效率与资源投入的讨论。

2026-08-01 ~ 2026-08-01 · 12 条相关

• 【源头】微软Sébastien Bubeck曝Astra模型新进展：连破10大数学难题 — SebastienBubeck · 2026-08-01
• OpenAI Astra 模型连破十大数学难题，单题求解成本约 2000 美元 — imjustnewatai · 2026-08-01
• OpenAI 公布 AI 在数学与理论计算机领域的十项新突破 — burny_tech · 2026-08-01
• 谷歌下一代模型 Astra 解决十大数学难题 — burny_tech · 2026-08-01
• OpenAI 内部模型连破 10 大数学难题，涉几何与密码学 — alphacolony21 · 2026-08-01
• 传 OpenAI 下一代模型解决 10 大数学难题 — zainhas · 2026-08-01

另有 6 条近重复转述:imjustnewatai · polynoamial · eyishazyer · reach_vb · polynoamial · haider1