GPT-6 代号 Astra 曝光：连破 10 大数学难题
mark_k · x · 2026-08-01
OpenAI 下一代旗舰模型（代号 Astra，疑似 GPT-6 系列）在内部测试中解决了 10 个停滞十年以上的数学与理论计算机难题。具体成果包括高维球填充新上限、推翻 Connes 刚性猜想等。
人类研究员负责撰写论文手稿，而 Astra 负责在 Lean 中形式化验证这些论证。OpenAI 即将公开这些 Lean 证书及模型的推理过程，10 个解法的总 Token 成本仅约 2000 美元。该模型被定位为专注于长周期多智能体协作的推理引擎。
所属事件:曝OpenAI下一代模型Astra连破十大数学难题(44 条相关)→
「模型」频道最新
- antirez 实测多款国产 AI 模型编程能力 — antirez · 2026-08-01
- DeepSeek开启斩杀模式，能力差价格贵的模型面临淘汰 — rickasaurus · 2026-08-01
- 传 OpenAI 新模型 Astra 解决数学难题,打脸多位 AI 大佬 — Imaginary_Dinner2710 · 2026-08-01
- 用户吐槽 Gemini 安全过滤极度过敏,正常对话频频被拦 — BigLead8814 · 2026-08-01
- Gemini辟谣:AI并未解决10大数学难题 — Dr_Singularity · 2026-08-01
- 谷歌下一代 Astra 模型内测：耗资 2000 美元解决十大数学难题 — yacineMTB · 2026-08-01