曝 OpenAI 新模型 Astra 连克 10 大数学难题
ns123abc · x · 2026-08-01
据报道，OpenAI 的新模型 Astra 成功解决了 10 个高级数学问题，涉及量子复杂性、理论计算机科学等领域，并推翻了其中 4 个数学界此前的猜想，还解决了 3 个 Erdős 问题。
所属事件:OpenAI内部模型Astra连破10大数学难题(22 条相关)→
「模型」频道最新
- Claude 4 Flash 被指缺乏视觉能力，竟尝试写代码自建“眼睛” — adonis_singh · 2026-08-01
- DeepSeek V4-Flash 悄然升级，Terminal-Bench 暴涨 25.8 分 — alejandroll10 · 2026-08-01
- OpenAI 频繁降价发布与数学突破，被指预示能力起飞 — basedjensen · 2026-08-01
- DeepSeek V4F-0731 在 EQ-Bench v4 成绩平平，高强度 RL 或损伤模型个性？ — xeophon · 2026-08-01
- AI模型Fable尝试为自发现的数学定律提供证明 — repligate · 2026-08-01
- Claude Pro 遭遇严重 Bug：无痕模式未发消息已显示额度耗尽 — Worldly-Topic5179 · 2026-08-01