OpenAI 未公开模型解出 10 道数学难题，成本仅 2000 美元
docdavkitty · reddit · 2026-08-03
OpenAI 透露其未发布的模型 Astra 在数学和理论计算机科学领域取得了 10 项新突破，解决了悬而未决至少十年的开放性问题。其中最引人注目的是首次明确构造了一个非 sofic 群（该问题自 1999 年以来一直未被解决）。
核心亮点：
- 自带验证：每个推导结果都在 GitHub 上附带了 Lean 4 证书。这意味着正确性可以直接由编译器验证，而无需依赖实验室的信誉或传统的同行评审。
- 成本极低：总推理成本按 API 费率计算仅约 2000 美元。
此举紧随莱顿宣言（警告 AI 实验室绕过同行评审）之后，提供了一种新的研究范式：AI 生成的产物自身携带可验证机制。
所属事件:OpenAI称内部模型2000美元解决10项数学难题引争议(15 条相关)→
「模型」频道最新
- TypeSafe AI 推出评估模型 Jev,单次 API 调用搞定结构化判定,输入定价 $0.04/百万 tokens — multiply_matrix · 2026-09-18
- 零重训改造冻结 LLM：向浅层泄漏深层残差向量解状态追踪难题 — burny_tech · 2026-09-18
- 模型 50-96% 回合中知道自己在 reward hacking，激活监测器可实时抓现行 — burny_tech · 2026-09-18
- Qwen3.8-Omni-Flash 发布：多人语音识别错误率 88%→3%，音频 API 降价 98% — karminski3 · 2026-09-18
- Qwen3.8-Omni-Flash 发布:多人会议识别错误率降至 3%,API 降价 98% — karminski3 · 2026-09-18
- 内部人士:Gemini 3.8 live 部分基准已胜过 gpt-live-1 — bosmeny · 2026-09-18