OpenAI 称下一代模型用约 2000 美元拿下 10 项数学新结果
OpenAI · x · 2026-08-04
OpenAI 表示，其下一代主力模型的一个内部版本，在数学与理论计算机科学的长期难题上取得了 10 项新结果，按 GPT-5.6 Sol API 计价大约只花了 2000 美元 token。
这些结果覆盖了 球体填充、编码理论、群论、量子复杂性、格密码、极值组合 等方向。OpenAI 还称将公开论文稿、Lean 形式化证明证书和推理过程，方便数学家审阅并继续推进。
所属事件:OpenAI 新模型以低成本解数学难题(2 条相关)→
「模型」频道最新
- 阿里通义发布 Qwen3.8-Max，主打编程协作 — ccerrato147 · 2026-08-04
- trydecideAI 完成 Dax-1 训练，主打确定性表格编辑 — saheedniyi_02 · 2026-08-04
- Kimi K3 在 69 项编码测试中领先，但 ML 流程错误仍常见 — mariofilhoml · 2026-08-04
- 编码工作流正转向多模型协作与更便宜的规划器 — jasonkneen · 2026-08-04
- DeepSeek Flash 实测落后 Grok 4.5 和 Muse Spark — bindureddy · 2026-08-04
- OpenAI 未发布模型 Astra 据称解出十个开放数学问题 — TheZvi · 2026-08-04