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

据多方爆料，OpenAI尚未发布的下一代内部模型Astra在数学和理论计算机科学领域取得十项重大突破，成功找到10个长期悬而未决的开放性问题的新解法，研究成果汇总为长达249页的论文合集。这些突破以极低的算力成本（据推文测算，API调用总token消耗不足2000美元，耗时约一周）攻克了数十年来停滞的难题，标志着大语言模型在深层数学推理方面迈出重要一步，引发AI领域广泛关注。

已确认

• 攻克难题：Astra的研究成果涵盖高维几何、群论、量子复杂性、编码理论及格密码学等前沿领域。具体成果包括推翻4个数学界此前的猜想（如Connes刚性猜想），解决3个Erdős问题（如Erdős单位距离猜想），以及发现首个明确的非sofic群（该问题已悬而未决超过50年）等。发帖人指出，这些问题中任何一个的难度都达到了菲尔兹奖级别。
• 人机协作与验证：模型内部生成了相关的数学论证与证明，由人类研究员负责撰写论文手稿。官方将发布附带Lean证书和思维链（CoT）解析的证明结果，因为数学领域非常适合AI借助Lean等形式化编程语言进行自我验证。
• 成本极低：据推文测算，Astra寻找这10个解法的推理过程通过API调用完成，总token消耗成本不足2000美元，耗时约一周。

尚未确认

• 模型归属与定位：多数信源及The Information报道指向OpenAI，外界猜测Astra可能是GPT-6系列。但在转发链路中，部分帖文误传为微软或谷歌的模型（如微软研究员Sébastien Bubeck和谷歌高管Demis Hassabis的推文被交叉误读）。目前模型具体版本号及完整能力边界尚未正式公布。
• 能力上限：据Noam Brown转述，尽管数学能力惊人，Astra目前尚未能建立全新的数学分支。第三方指出其能力曲线呈正二阶导数，何时达到平台期属未知，但已接近全自动AI研发。此外，Sébastien Bubeck认为其在离散数学领域已达到“狭义超智能”水平。

为什么重要

• AI推理能力飞跃：以极低的算力成本解决数十年来停滞的数学难题，表明AI在复杂逻辑推理和长周期任务协作方面取得了实质性突破，有力挑战了“AI只是统计鹦鹉”的观点。
• 社区反响：突破引发了广泛关注，Fable称其为“数学史上最重要的一天”；Nous Research创始人Teknium调侃希望该模型在日常应用中也能保持稳定，不要在处理诸如查收邮件等基础任务时“精神崩溃”。同时，数学界普遍认为这不会导致人类数学家失业，反而会开启人机协作的黄金时代。

2026-08-01 ~ 2026-08-03 · 99 条相关

事件全程(共 20 集)→

• 第 1 集:OpenAI测试多智能体模型Astra，已向美政府演示(2026-08-01,17 条)
• 第 2 集:OpenAI内部模型Astra连破10大数学难题(2026-08-01,99 条)
• 第 3 集:谷歌Astra模型以不到两千美元攻克十大科学难题(2026-08-01,4 条)
• 第 4 集:OpenAI数学突破遭Gary Marcus等质疑炒作(2026-08-01,38 条)
• 第 5 集:传 OpenAI 将发 Astra 模型主打多智能体协同(2026-08-02,3 条)
• 第 6 集:Anthropic 员工称用 Fable 24 小时复现半数 Astra 证明(2026-08-02,4 条)
• 第 7 集:提示距离：弱模型能否复现前沿证明(2026-08-03,6 条)
• 第 8 集:OpenAI称内部模型2000美元解决10项数学难题引争议(2026-08-03,15 条)
• 第 9 集:OpenAI公开Astra数学证明与推演手稿(2026-08-04,4 条)
• 第 10 集:传OpenAI下周发布Astra模型，或为GPT-4.5后最大预训练(2026-08-06,10 条)
• 第 11 集:OpenAI因网络安全风险放缓Astra开发并受限发布(2026-08-08,30 条)
• 第 12 集:OpenAI预告下一代模型Astra为首个网安关键模型(2026-08-08,4 条)
• 第 13 集:OpenAI新模型Astra或8月发布，10T参数引期待(2026-08-09,6 条)
• 第 14 集:OpenAI新模型代号Doug曝光，年底启动史上最大预训练(2026-08-09,8 条)
• 第 15 集:OpenAI 因网络攻击风险暂停 Astra 模型开发(2026-08-10,3 条)
• 第 16 集:OpenAI模型安全评级引争议(2026-08-11,2 条)
• 第 17 集:预测市场押注Astra下月发布概率76%(2026-08-14,2 条)
• 第 18 集:OpenAI 下一代模型 Astra 传闻升温，月底发布或本周四亮相(2026-08-15,5 条)
• 第 19 集:电力瓶颈威胁美国 AI 数据中心扩张(2026-08-17,4 条)
• 第 20 集:OpenAI 因模型越权与安全阈值暂停 Astra 前沿训练(2026-08-17,17 条)

• 【源头】微软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
• 曝谷歌 Astra 内部版破解 10 大数学难题，成本仅 2000 美元 — reach_vb · 2026-08-01
• 微软研究员爆料新模型 Astra：数学证明实现多项突破 — wandedob · 2026-08-01
• OpenAI数学突破：每个问题耗资200美元，能力曲线未知 — basedjensen · 2026-08-01
• Google下一代模型 Astra 仅花2000美元解决重大数学难题 — joshua_saxe · 2026-08-01
• Teknium 调侃 OpenAI 新模型：能不崩溃地查个邮件吗？ — Teknium · 2026-08-01
• 曝谷歌Astra模型证明非sofic群存在，连破多项数学难题 — xeophon · 2026-08-01
• Gary Marcus 质疑 Astra：数学强不等于全能 — GaryMarcus · 2026-08-01
• OpenAI 发布数学研究：公布十项理论进展 — petrusenko_max · 2026-08-01
• 传 OpenAI 新模型 Astra 解决数学难题,打脸多位 AI 大佬 — Imaginary_Dinner2710 · 2026-08-01

另有 35 条近重复转述:imjustnewatai · polynoamial · eyishazyer · reach_vb · polynoamial · haider1 · mark_k · UltraRareAF · coherence · AI寒武纪 · rohanpaul_ai · Dr_Singularity · ns123abc · etherd0t · daniel_mac8 · karmay007 · daniel_mac8 · haider1 · PeterBowdenLive · johnseach · ctjlewis · ctjlewis · joshua_saxe · infoxiao · ctjlewis · basedjensen · basedjensen · willdepue · BorisMPower · jedisct1 · AdrienLE · mallow610 · aidan_mclau · josh_wills · Polymarket