OpenAI 发布 Astra 数学证明，推翻 Connes 刚性猜想
GaryMarcus · x · 2026-08-05
OpenAI 宣布其下一代重要模型 Astra 解决了 10 个困难的开放数学问题，并提供了 Lean 证书和思维链推导。
这些成果涵盖了广泛的数学领域，其中最引人注目的是推翻了 von Neumann 代数中的 Connes 刚性猜想，并在高维球体填充、电路复杂性和图论等方面取得了新界限。不过，有研究者指出 OpenAI 的官方说明中存在一些小失误。
「模型」频道最新
- 5p6 Sol Extra High 模型被指患有“拖延症” — RylanSchaeffer · 2026-08-05
- 128GB 内存 Mac 跑本地大模型，哪款最适合写代码？ — Electronic_Back1502 · 2026-08-05
- 开源模型遇瓶颈：长周期智能体任务表现拉胯 — bindureddy · 2026-08-05
- 开发者称 Gemini 3.6 Flash 迭代 10 次胜过等 Qwen 3.8 max 两小时 — DynamicWebPaige · 2026-08-05
- 投资人暗示 Black Forest Labs 将发布 FLUX 3 — venturetwins · 2026-08-05
- 从讨好变固执？用户吐槽新模型死不认错 — Hatrct · 2026-08-05