OpenAI 曝内部 Astra 模型连克十大数学与计算难题
AxSaucedo · x · 2026-08-08
OpenAI 内部报告称，其即将推出的 Astra 模型在高级学术领域取得了重大突破。该模型成功为十个长期悬而未决的问题提供了解决方案，这些问题横跨几何学、编码理论、群论、电路复杂性、量子复杂性以及格与极值组合学。这标志着大语言模型在处理深层逻辑与复杂数学推理方面迈出了重要一步。
所属事件:OpenAI内部模型连破数学难题，AI证明能力获学界认可(15 条相关)→
「模型」频道最新
- Artificial Analysis 榜单:GLM 5.3 Flash 得 39 分,以更小体积超越 Mistral 4 Large — airesearch12 · 2026-10-16
- 基于 Qwen3-4B 的开源 ASR 模型 Hojo-ASR 取 3.54 平均 WER — rohanpaul_ai · 2026-10-16
- Google 在 Antigravity 中设 Paid Pro 付费墙，Pixel 与订阅用户不满 — Chance-Okra-5920 · 2026-10-16
- GLM 5.3 Flash 现已在 OpenCode 免费开放 — DanielLockyer · 2026-10-16
- GPT-6 Sol 开药水店零失误，推理摘要却把库存当成自身属性 — liminal_bardo · 2026-10-16
- Codex 用户转投 Claude:称 Opus 5.5 体验领先且 App 优化好 2-3 倍 — ItchyResearcher5671 · 2026-10-16