OpenAI 发布 Astra 数学证明，推翻 Connes 刚性猜想
GaryMarcus · x · 2026-08-05
OpenAI 宣布其下一代重要模型 Astra 解决了 10 个困难的开放数学问题，并提供了 Lean 证书和思维链推导。
这些成果涵盖了广泛的数学领域，其中最引人注目的是推翻了 von Neumann 代数中的 Connes 刚性猜想，并在高维球体填充、电路复杂性和图论等方面取得了新界限。不过，有研究者指出 OpenAI 的官方说明中存在一些小失误。
所属事件:OpenAI公开Astra数学证明与推演手稿(4 条相关)→
「模型」频道最新
- 传智谱 GLM 5.5 即将发布，编码能力有望追平前沿模型 — bindureddy · 2026-10-16
- 五轮对抗后输出趋同：Claude Opus 5.5 与 Argon 创作实验结果诡异一致 — LanceCharger · 2026-10-16
- 自建「主观判断」基准：18 个模型一致性测试，GLM-5.3 登顶 — arkuto · 2026-10-16
- Bindu Reddy 实测:Argon 擅长复杂文档写作,成本仅 Opus 一半 — bindureddy · 2026-10-16
- MAI-2 比 V4-Pro 大 2 倍，微软 scaling 阶梯效率存疑 — teortaxesTex · 2026-10-16
- 阶跃 Step 5 Preview 上线 DeepInfra:600B MoE、1M 上下文,百万 token 输入 $1 — StepFun_ai · 2026-10-16