微软研究员爆料新模型 Astra：数学证明实现多项突破
wandedob · x · 2026-08-01
微软核心研究员 Sébastien Bubeck 爆料了微软的下一代重大模型 Astra。该模型在数学证明领域取得了广泛且漂亮的新成果。Astra 即将发布 10 个数学证明，每个都附带 Lean 证书和思维链解析。这些成果涵盖多个领域，包括推翻了 Connes 刚性猜想，以及在高维球体堆积界限和电路复杂性上取得了更好的结果。
所属事件:传OpenAI下一代模型Astra连破10大数学难题(19 条相关)→
「模型」频道最新
- Astra 推理成本达 2000 美元，Noam Brown 盛赞 — daniel_mac8 · 2026-08-01
- 曝 OpenAI 新模型 Astra 连克 10 大数学难题 — ns123abc · 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