专题 · FULL STORY

Astra风波：从数学神话到安全叫停

OpenAI 下一代模型 Astra 先被曝向美政府演示并宣称连破十大数学难题，遭 Gary Marcus 等质疑炒作；随后公司以网络安全风险为由放缓开发与发布，外界持续押注其发布时间，传闻至今发酵。

2026-08-01 ~ 2026-08-17 · 19 集 · 263 条

第 1 集 · OpenAI测试多智能体模型Astra，已向美政府演示(2026-08-01,17 条)

据The Information报道，OpenAI正在测试代号为Astra的全新模型家族，主打多智能体长程协作。CEO Sam Altman本周已在华盛顿向美国政策制定者进行私下演示。Astra能将复杂项目（如高级数学研究、量子复杂度、理论计算机科学等）拆分给多个智能体长时间并行处理，标志着OpenAI研发重点向多智能体协同转移。该系列预计与Sol、Terra、Luna等模型并列，最终命名可能是GPT-6或GPT-5.7。

已确认

  • 模型定位：Astra被描述为多智能体系统，核心能力是让多个智能体在长时间内协同工作，处理长周期复杂任务。据@danielmac8总结，该模型已解决涵盖数学、量子复杂度和理论计算机科学等领域的10大难题。
  • 产品线归属：在OpenAI内部产品线中，Astra将与Sol、Terra和Luna等模型并列。此外，据@新智元报道，OpenAI近期宣布全球活跃用户数突破10亿，得益于大幅降价策略（GPT-5.6 Luna降80%，Terra降20%）。
  • 政策沟通：Sam Altman已向美国政府官员展示该系统，Astra有望成为首批接受美国政府安全评估的AI模型。
  • 发布预期：据预测市场Polymarket数据，Astra下个月底前向公众发布的概率达56%。
  • 成本与评价：据@danielmac8测算，按GPT-5.6 Sol API价格计算，Astra解决这10个数学难题的成本高达2000美元。OpenAI研究员Noam Brown称其为科学推理的重大进步。

尚未确认

  • 最终命名：爆料称该系列未来可能会以GPT-6或GPT-5.7发布，具体产品形态与最终版本号尚未确定。
  • 性能表现：科技博主@VraserX预测，Astra凭借其长程推理和处理复杂难题的持久性，极有可能会在ARC-AGI-3基准测试中取得极高分数，但这仅为其个人推测。

为什么重要

Astra的曝光表明OpenAI的研发重点正向多智能体长程协同转移，这被视为攻克复杂问题的重要技术路径。同时，向政策制定者进行演示，反映出OpenAI正积极推动前沿模型与政府监管及安全评估的对接。

第 2 集 · OpenAI内部模型Astra连破10大数学难题(2026-08-01,99 条)

据多方爆料，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调侃希望该模型在日常应用中也能保持稳定，不要在处理诸如查收邮件等基础任务时“精神崩溃”。同时，数学界普遍认为这不会导致人类数学家失业，反而会开启人机协作的黄金时代。

还有 79 条相关讨论 →

第 3 集 · 谷歌Astra模型以不到两千美元攻克十大科学难题(2026-08-01,4 条)

谷歌 DeepMind 联合创始人 Demis Hassabis 透露，其下一代模型 Astra 的内部版本在数学和理论计算机科学领域取得十项重大突破。使用 Sol API 为这些突破生成验证证明的总成本不到 2000 美元，仅约等于博士半年薪水的一半。这一极具冲击力的低成本成果展现了 AI 科学智能体的惊人潜力，令业界感叹我们正迈向全新世界。

第 4 集 · OpenAI数学突破遭Gary Marcus等质疑炒作(2026-08-01,38 条)

OpenAI高管Noam Brown宣称其内部模型Astra解决了10个超过十年未解的数学与计算机科学难题，生成证明的API调用成本不到2000美元，并发布了249页论文。然而，该成果随即遭到以Gary Marcus为代表的学术界广泛质疑，被批评缺乏科学透明度且实际价值被过度炒作。当前结论认为，数学领域的专精突破并不等同于实现了AGI，模型的真实推理能力与具体成本细节尚待同行评议验证。

已确认

  • OpenAI发布了249页论文，宣称模型在解决10个数学难题上取得突破，API成本不到2000美元。
  • 外界批评集中于科学透明度缺失与实际价值夸大。

尚未确认

  • 模型解决难题的真实能力与含金量。作者@sudoraohacker强调现有模型推理能力有限，结果在同行评议前不能轻信。
  • 实验具体成本与细节。HN社区指出官方未披露模型尝试次数，怀疑2000美元成本具有误导性，认为表面成本掩盖了实现这些能力的巨大资源投入。
  • 至少一个AI数学证明可能有误。Gary Marcus指出，当有数学博士生提出反例指出证明可能存在错误时，这种严谨质疑却几乎无人问津。此外，该系统在面对部分实际可解的问题时也出现了求解失败的情况。

为什么重要

  • 科学透明度争议：Gary Marcus直言论文未披露模型工作原理、验证过程、人类角色及证明错误等核心细节，质问“科学精神去哪了”。学者Pedro Domingos也批评这种隐瞒方法的做法无助于AI领域的技术进步。AI研究者Itaisher也呼吁行业应公开模型尝试过的所有问题集合，避免只报喜。
  • 开放领域推理能力受疑：多位观点指出，AI展现的解题能力并非源于概念上的理论创新或真正的数学直觉，而是依靠庞大算力驱动的高级模式匹配。Gary Marcus强调，解决形式化问题不等于搞定开放性问题，突破并未创造新理论，并不意味着数学被彻底攻克。他进一步指出，数学基准测试自带验证器和合成数据，存在天然的“作弊机制”，这种特定领域的数据增强绝不等同于实现了AGI。此外，比起单纯的跑分成绩，业界亟需深究实现这些突破的具体工程过程与后训练方法。
  • 基准测试可信度危机：Gary Marcus引用arXiv论文指出，当前AI Agent基准测试存在漏洞（如BenchJack审计工具所揭示的问题），认为近期关于模型进展的恐慌情绪是缺乏对照组的“耸人听闻”。

还有 18 条相关讨论 →

第 5 集 · 传 OpenAI 将发 Astra 模型主打多智能体协同(2026-08-02,3 条)

据多方爆料，OpenAI 正在研发代号为 Astra 的全新模型家族，其能力体量大致等同于 GPT-6。该模型定位为“光环模型”，将作为母体优先蒸馏出多个子版本。Astra 主打长周期任务处理，核心亮点在于多智能体协同工作，此前 Sam Altman 已在华盛顿进行过演示。不过学者 Gary Marcus 猜测，OpenAI 使用 Astra 而非 GPT-6 命名，可能意味着其提升幅度未达预期。

第 6 集 · Anthropic 员工称用 Fable 24 小时复现半数 Astra 证明(2026-08-02,4 条)

OpenAI 与 Anthropic 在前沿数学领域展开了一场激烈竞赛。OpenAI 于 8 月 1 日发布了 Astra 模型的 10 项数学进展，而 Anthropic 数学研究员 Levent Alpöge 随后声称，使用 Fable 模型在 24 小时内成功复现了其中 5 项证明。这一事件在社区引发热议，公众在惊叹公开模型复现能力的同时，也对相关测试的严谨性提出了质疑。

第 7 集 · 提示距离：弱模型能否复现前沿证明(2026-08-03,6 条)

AI研究者Dan Shipper进行了一项实验，测试在提供代数数论等概念性提示的情况下，较弱的模型能否复现前沿模型Astra对埃尔德什平面单位距离猜想的证明。实验表明，给予恰当的概念提示，较弱的模型往往也能重现前沿模型的发现。这为评估AI的科研能力提供了新视角。

已确认

  • 实验背景：Dan Shipper在登机前给模型布置了数学挑战，测试其能否在提示下复现前沿模型Astra对埃尔德什平面单位距离猜想的证明。
  • 核心观点：如果给予恰当的概念性提示，较弱的模型也能重现前沿模型的发现。
  • 实验对比：开发者分享了GPT-4o在尝试解决数学猜想时生成的分析结果，并与OpenAI前沿模型Astra的解答进行了直接对比，进一步验证了在提供适当提示下，较弱模型能否达到前沿模型的推理水平。

为什么重要

  • Dan Shipper提出了“提示距离”的概念，建议通过观察模型在解决新发现时距离正确答案需要多少提示，来量化评估AI模型的智能程度及其在科研发现中的价值。这种从完全未知到给予明确指引的跨度，提供了一种衡量模型科研能力的新维度。

第 8 集 · OpenAI称内部模型2000美元解决10项数学难题引争议(2026-08-03,15 条)

OpenAI公开表示，其下一代主力模型的内部版本在数学与理论计算机科学的长期未解问题上产出了10项新结果，按GPT-5.6 Sol API计价约2000美元。这一说法迅速引发外界对模型高阶推理能力的关注与两极分化的争议，但目前缺乏外部独立验证。

已确认

  • @OpenAI表示，一个下一代主模型的内部版本已在数学和理论计算机科学的长期难题上得到10项新结果，并给出了约2000美元的GPT-5.6 Sol API等价成本说法。@rohanpaulai补充指出，这一成本甚至低于派两名学者参加学术会议的差旅费。
  • @OpenAI还强调，基础数学与GPS、天气预报、医学影像等现实技术相关，认为这类进展可能外溢到更广泛的科学与工程问题。

尚未确认

  • 多条帖子把该内部模型称为Astra，并称这些成果涉及至少搁置十年的开放问题；其中一条转述还提到，最受关注的结果之一是自1999年以来未解的非sofic群构造问题。但这些具体题目与模型代号，并非本组官方帖文直接披露。
  • 另有转述称相关证明已用Lean形式化、附带机器可验证证书并在GitHub公开；在给定材料里，这同样未见OpenAI原帖直接确认。
  • 业内对此存在严重分歧。@BlackHC转述了研究者的强烈反驳，认为这套说法很可能是“100%的AI大忽悠”，并强调当前LLM仍有结构性局限。相对地，@ValerioCapraro与@littmath探讨了LLM“无法跳跃”的逻辑推理瓶颈，@ValerioCapraro认为如果这些结果属实，可能会冲击该瓶颈；@TheZvi则把它视作LLM数学能力可能正在明显提升的信号。

为什么重要

  • 这件事的核心，不只是“又一个更强模型”的传闻，而是AI是否开始在严肃数学研究中稳定产出可验证新结果。如果OpenAI的公开说法后续能被外部验证，低成本完成高难度证明将是大模型推理能力的重要里程碑。
  • 相关讨论也被一些评论者如@haider1、@cuttheblue进一步上升到AGI时间表。作为旁证语境，Quanta Magazine的报道也被转引出来：AI已在Erdős相关经典难题上带来实际推进，包括2026年5月OpenAI称其内部模型找到1946年“单位距离问题”的反例，随后人类数学家继续扩展成果。

第 9 集 · OpenAI公开Astra数学证明与推演手稿(2026-08-04,4 条)

OpenAI 近期宣布其下一代重要模型 Astra 成功解决了包括推翻 Connes 刚性猜想在内的 10 个困难开放数学问题。公司不仅公开了长达 62 页的推演手稿展示证明思路，还发布了 Lean 形式化证明证书和推理过程，涵盖球体填充与编码理论等领域。学者高度评价其严谨性，认为这种形式化验证将成为未来数学研究的重要基础设施。

第 10 集 · 传OpenAI下周发布Astra模型，或为GPT-4.5后最大预训练(2026-08-06,10 条)

据多位科技圈爆料者透露，OpenAI最快可能于下周发布代号为Astra的新基础模型。该模型被认为是自GPT-4.5以来OpenAI训练的最大预训练模型，预计参数规模达7至10T，且推理成本将大幅降低。预测市场Polymarket对其在8月底前公开发布的押注概率高达78%。此消息引发社区广泛关注，但OpenAI官方尚未正式确认。

已确认

  • 据转述，OpenAI此前曾通过一篇研究文章间接确认了Astra模型的存在，文章展示的内部版本成功解决了数学和理论计算机科学难题。
  • 预测市场Polymarket上线了相关赌局，大量资金押注该模型在8月31日前向大众公开，概率达78%。

尚未确认

  • 发布时间：爆料称最早下周发布，但具体日期未定。
  • 模型身份：Astra是否最终命名为GPT-6、GPT-5.7或独立命名尚不明确。此外，orange指出该模型实力应该不会比Mythos差。
  • 参数规模：预计达7至10T（作为对比，推测GPT-4.5约为5T），但具体数据仍属推测。
  • 内部测试：据称OpenAI员工已在以Cerebras级别的极速进行内部测试，当前检查点代号为“Mewfour”且已成为发布候选版本。danielmac8补充称该模型针对长周期任务和多智能体编排进行了训练优化。

为什么重要

若爆料属实，Astra将是OpenAI在GPT-4.5之后的最大预训练模型。其全新预训练方法、参数规模的翻倍以及推理成本的降低，可能对AI行业产生重大影响。数学能力的突破也暗示了模型在复杂推理方面的实质性进步。然而，所有关键信息均未得到官方证实，需谨慎对待。

第 11 集 · OpenAI因网络安全风险放缓Astra开发并受限发布(2026-08-08,30 条)

OpenAI宣布放缓下一代模型Astra（非正式称“GPT-6”）的开发与发布进程，因其在准备框架评估中被列为首个网络安全“关键”级模型。CEO Sam Altman确认该模型能力强大，但因其显著的网络能力，需要比平时更长的时间进行安全部署。初期发布将受限，仅少数选定组织可访问，待确认安全后逐步开放。

已确认

  • OpenAI因担忧网络安全能力放缓Astra开发，该模型被列为准备框架下首个网络安全“关键”级模型，意味着可能自主发现并利用零日漏洞，或端到端策划执行网络攻击。
  • 官方称无法排除系统具备危险网络能力的风险，将扩大安全测试，暂停部分不满足强化安全要求的内部活动，并实施额外控制措施。
  • CEO Sam Altman确认Astra能力强大，但因其网络能力需更多时间确保安全后才能广泛可用。
  • 初期发布将受限，预计只有少数被选定的组织能够获得访问权限，直到该模型被充分限制并认定为安全后才会逐步开放。

尚未确认

  • 具体发布时间表未定。Polymarket预测市场数据显示，8月15日前发布概率12%，8月31日45%，9月15日72%，9月30日90%，10月31日95%。受安全漏洞影响，原定8月31日发布的概率曾大幅下降50%。
  • 初期发布的具体限制范围与程度，以及模型最终会被“阉割”或限制到何种程度，仍有待观察。

为什么重要

  • 作者deanwball指出，这考验实验室是否真正遵守安全框架。随着AI模型能力增强，前沿AI政策的核心在于实验室能否在商业利益与安全底线之间取得平衡。
  • 网络攻击的潜在风险正成为制约前沿大模型发布的关键因素，OpenAI此次主动延期与隔离测试，可能影响整个行业的安全审查标准。
  • 作者kimmonismus认为，此次延期可能会在激烈的国际模型竞争中，给其他竞争对手（如中国模型）留出追赶的时间窗口。

还有 10 条相关讨论 →

第 12 集 · OpenAI预告下一代模型Astra为首个网安关键模型(2026-08-08,4 条)

OpenAI官方及高管近期预告了代号为Astra的下一代主要模型（外界推测为GPT-6）。评估显示，该模型在智能体编码和网络安全方面达到了Preparedness框架下的首个“关键”级别。这意味着Astra具备发现零日漏洞和新型入侵方法的潜力，可能颠覆复杂编码领域。为此，OpenAI正为其部署额外的安全控制措施。

第 13 集 · OpenAI新模型Astra或8月发布，10T参数引期待(2026-08-09,6 条)

多位爆料者透露，OpenAI下一代前沿模型代号为Astra（或称GPT-6），预计将于8月发布。该模型基于10T参数的大型预训练数据集，内部研究人员及外界均预期其整体能力将远超上一代模型Fable 5，实现真正的飞跃。

已确认

  • 模型代号与定位：OpenAI下一代备受瞩目的模型代号为Astra，此前公布的10项研究进展正是由Astra的内部版本驱动。
  • 预训练基础：OpenAI此前在预训练上表现不佳，但通过代号为Spud（或称Doug）的大型预训练数据集扭转局势，并衍生出Sol、Terra和Luna等模型。Astra即基于更大的预训练数据集。

尚未确认

  • 发布时间：@bindureddy 与 @iruletheworldmo 指出该模型可能于本月（8月）发布，且可能已获得政府批准，但面临政府延迟。为集中算力，OpenAI削减了Sora等项目的资源。
  • 参数规模：@iruletheworldmo 爆料称该模型基于全新的10T参数预训练，内部研究人员评价极高，认为其在各方面远超Fable。
  • 核心能力：@bindureddy 称Astra在长时间运行的智能体任务中表现优异，整体能力优于Fable 5，目前正在进行安全测试。@iruletheworldmo 认为其写作能力媲美人类，@haider1 指出若将其整合进Codex，编程能力将不可阻挡。为应对竞争，Anthropic等竞品也在筹备新模型。

为什么重要

Astra被视为OpenAI在预训练瓶颈后的关键突破，若爆料属实，其在长程Agent、推理与编程等核心能力上的飞跃，可能再次重塑大模型竞争格局。

第 14 集 · OpenAI新模型代号Doug曝光，年底启动史上最大预训练(2026-08-09,8 条)

近期多位科技博主爆料，OpenAI计划在年底前启动其历史上最大规模的预训练，该模型内部代号为「Doug」。据称Doug的能力将使当前版本（如Fable）显得十分原始，且GPT-5.5并非最后一次重大预训练，后续还将推出GPT-6。此外，GPT-4.5因API服务成本过高，发布仅几个月后即被弃用。

已确认

  • SemiAnalysis确实在7月9日的付费通讯中提及了代号「Doug」，这早于近期关于另一个模型代号「Astra」的讨论出现时间。
  • 据爆料人透露，GPT-4.5是一个成功的大型预训练模型，但因API服务成本过高，仅在发布几个月后就被宣布弃用。

尚未确认

  • Doug与Astra的具体关系及迭代顺序尚无定论。社区中存在混淆，有人猜测Doug是继Astra之后的全新预训练模型，但因其代号早于Astra曝光，两者之间的实际联系仍成谜。
  • OpenAI年底启动史上最大规模预训练以及后续推出GPT-6的计划，目前仅限于科技博主和爆料人（如ChrisGPT）的传言，尚未得到官方证实。此外，VraserX指出，若将这种规模的算力与SEAL等持续学习技术结合，可能会孕育出远超GPT-6的模型，但这仅停留在观点层面。
  • 另一条推文（m8）提到OpenAI曾启动名为Spud的大型预训练项目以支持Sol、Terra和Luna等新模型家族，但该信息与Doug的关系不明，且未获其他信源证实。

为什么重要

  • 如果关于「Doug」和最大规模预训练的传闻属实，这意味着OpenAI下一代大模型的能力将实现跨越式提升，进一步拉大行业差距。同时，关于模型代号的溯源讨论也反映了外界对OpenAI产品线规划的高度关注。

第 15 集 · OpenAI 因网络攻击风险暂停 Astra 模型开发(2026-08-10,3 条)

据《华尔街日报》等媒体报道，OpenAI 已暂停其新一代模型 Astra 的开发工作。原因是内部测试发现，该模型展现出了引发业界担忧的严重网络安全能力，甚至触及了自主网络攻击的红线。为了防范潜在风险，OpenAI 对其进行了严格封锁，这一事件也再次引发了业界对前沿 AI 安全性的高度关注。

第 16 集 · OpenAI模型安全评级引争议(2026-08-11,2 条)

OpenAI 近期因内部对网络安全模型的风险评级分歧而陷入争议。据悉，公司曾于8月7日因一款模型可能触及最高网络风险级别而暂停了 Astra 项目。然而，OpenAI 随后却又发布了同样具备极强网络安全能力的 GPT-5.6-Cyber 模型。这种在同一周内对高危模型做出截然相反决定的操作，引发了外界的广泛质疑。

第 17 集 · 预测市场押注Astra下月发布概率76%(2026-08-14,2 条)

预测市场 Polymarket 上线了关于 OpenAI “Astra” 模型发布时间的投注合约，市场规则基于 OpenAI 计划于 2026 年 8 月 1 日披露 Astra 相关信息，且只计算向公众开放的正式发布。当前押注显示，这款备受瞩目的模型在月底前发布的概率已达 76%。

第 18 集 · OpenAI 下一代模型 Astra 传闻发酵，或月底发布(2026-08-15,5 条)

OpenAI 下一代主力模型传闻进入预热阶段：多名员工近期在社交媒体上集中、含糊地提及代号为 Astra 的项目，叠加合作伙伴行为模式分析与预测市场数据，外界普遍推测该模型可能在 8 月底甚至本周四发布，但 OpenAI 官方未作任何确认。

已确认

  • OpenAI 员工近期开始在社交媒体发布与 Astra 相关的含糊内容（@imjustnewatai、@Angaisb 观察）
  • Polymarket 预测市场显示 Astra 在一个月内发布的概率为 52%（@Polymarket），结算条件要求模型被命名为 Astra 或被确认为同一模型

尚未确认

  • 具体发布时间：推测窗口从本周四（@imjustnewatai）到月底（@Ormusn2o、@haider1）不等，均无官方信息
  • @Ormusn2o 的分析方法基于「合作伙伴通常在正式发布前 2-4 周获得 NDA 访问权限」的推断逻辑，属于用户推测而非确凿证据
  • 模型的功能细节与定位尚无任何官方披露

为什么重要

  • Astra（社区亦称 gpt-next）被视为 OpenAI 的下一个主力模型，其发布节奏直接影响竞争格局
  • 此前该模型已被推迟过原定时间表，社区对 OpenAI 持续发隐晦推文而非正式发布表达出不耐烦情绪（@haider1、@Angaisb）
  • 预测市场概率（52%）显示市场对月底发布的信心仅略高于掷硬币，传闻热度与确定性之间存在明显落差

第 19 集 · 电力成AI数据中心瓶颈，2026年基建开支或达7000亿美元(2026-08-17,3 条)

电力供应正成为新建 AI 数据中心的主要制约因素，运营商被迫提前锁定新的能源产能。预测显示，微软、谷歌、亚马逊等超大规模云厂商 2026 年在 AI 基础设施上的总支出可能达到 7000 亿美元，涵盖 GPU、数据中心、网络和电力。另据透露，OpenAI 在评估中发现 Astra 具备关键级别的网络攻击能力后，已主动暂停其部署，计划先强化安全评估流程再考虑上线。