OpenAI 未公开模型解出 10 道数学难题，成本仅 2000 美元
docdavkitty · reddit · 2026-08-03
OpenAI 透露其未发布的模型 Astra 在数学和理论计算机科学领域取得了 10 项新突破，解决了悬而未决至少十年的开放性问题。其中最引人注目的是首次明确构造了一个非 sofic 群（该问题自 1999 年以来一直未被解决）。
核心亮点：
- 自带验证：每个推导结果都在 GitHub 上附带了 Lean 4 证书。这意味着正确性可以直接由编译器验证，而无需依赖实验室的信誉或传统的同行评审。
- 成本极低：总推理成本按 API 费率计算仅约 2000 美元。
此举紧随莱顿宣言（警告 AI 实验室绕过同行评审）之后，提供了一种新的研究范式：AI 生成的产物自身携带可验证机制。
所属事件:曝OpenAI未公开模型Astra破解十大数学难题(2 条相关)→
「模型」频道最新
- Anthropic 工程师：模型与工具链深度绑定才能榨干性能 — May_F1_ · 2026-08-03
- Surge AI 高管揭示基准测试失效内幕：成本千万美元且普遍污染 — alex_verem · 2026-08-03
- 这三个模型有什么区别？ — Clair_Personality · 2026-08-03
- Minimax H3的蒸馏LoRA何时发布？ — Character_Title_876 · 2026-08-03
- OpenAI 性价比提升，作者归功于国产大模型施压 — haider1 · 2026-08-03
- 开发者用 Opus 5 一次生成完整 3D 游戏：自带建模与音乐 — draginol · 2026-08-03