传OpenAI新模型Astra连破十大数学难题

OpenAI 下一代核心模型（代号 Astra，疑似 GPT-6 系列）的内部版本在高级数学和理论计算机科学领域取得重大突破，成功解决了 10 个长期悬而未决的开放性问题，并与人类研究员合作发布了长达 249 页的研究合集。这一进展标志着大语言模型在处理深层数学推理方面迈出了重要一步。

已确认

• 攻克难题：Astra 的研究成果涵盖高维几何、群论、量子复杂性、编码理论及格密码学等前沿领域，解决了至少十年未取得核心进展的难题，其中包括 3 个 Erdős 问题（如 Erdős 单位距离猜想），并推翻了 4 个数学界此前的猜想（如 Connes 刚性猜想）。
• 人机协作：模型内部生成了相关的数学论证与证明，由人类研究员负责撰写论文手稿，最终形成 249 页的论文合集。
• 成本极低：据推文测算，Astra 寻找这 10 个解法的推理过程通过 Sol API 调用完成，总 token 消耗成本不足 2000 美元（单题成本约 200 美元），耗时约一周。

尚未确认

• 模型归属与定位：关于 Astra 的归属，多数信源指向 OpenAI 下一代主力模型，但部分转发帖文中误传为微软或谷歌的模型。此外，Astra 被曝是一个多智能体系统，专门针对超长周期任务训练，但其具体版本号及完整能力边界尚未正式公布。
• 能力上限：据 Noam Brown 转述，尽管数学能力惊人，Astra 目前尚未能建立全新的数学分支，其能力曲线何时达到平台期也属未知。

为什么重要

• AI 推理能力飞跃：以极低的算力成本（不足 2000 美元）解决数十年来停滞的数学难题，表明 AI 在复杂逻辑推理和长周期任务协作方面取得了实质性突破，正接近全自动 AI 研发。
• 社区反响：这一突破引发了 AI 领域的广泛关注，Nous Research 创始人 Teknium 调侃希望该模型在日常应用中也能保持稳定，不要在处理诸如查收邮件等基础任务时“精神崩溃”。

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

事件全程(共 3 集)→

• 第 1 集:OpenAI测试多智能体模型Astra，已向美政策制定者演示(2026-08-01,15 条)
• 第 2 集:网传OpenAI证明非sofic群被指系伪造整活(2026-08-01,5 条)
• 第 3 集:传OpenAI新模型Astra连破十大数学难题(2026-08-01,39 条)

• 【源头】微软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 发 249 页论文：新模型 Astra 攻克十大数学难题 — etherd0t · 2026-08-01
• OpenAI数学突破：每个问题耗资200美元，能力曲线未知 — basedjensen · 2026-08-01
• Google下一代模型 Astra 仅花2000美元解决重大数学难题 — joshua_saxe · 2026-08-01
• Teknium 调侃 OpenAI 新模型：能不崩溃地查个邮件吗？ — Teknium · 2026-08-01
• Gary Marcus 质疑 Astra：数学强不等于全能 — GaryMarcus · 2026-08-01
• OpenAI 发布数学研究：公布十项理论进展 — petrusenko_max · 2026-08-01

另有 25 条近重复转述:imjustnewatai · polynoamial · eyishazyer · reach_vb · polynoamial · haider1 · mark_k · UltraRareAF · coherence · AI寒武纪 · rohanpaul_ai · Dr_Singularity · ns123abc · daniel_mac8 · karmay007 · daniel_mac8 · haider1 · PeterBowdenLive · johnseach · ctjlewis · ctjlewis · joshua_saxe · infoxiao · basedjensen · basedjensen