OpenAI 下一代模型内部版以约 2 千美元 token 解决 10 个开放难题
$2K of tokens costs less than sending 2 people to a conference, and that gap is what changes the cal...
AI 导读OpenAI 下一代主要模型的内部版本以约 2,000 美元 token 成本（按 GPT-5.6 Sol API 费率计算），解决了数学和理论计算机科学领域 10 个长期开放问题，并附有完整的 Lean 形式化证明证书。主推文指出，这一成本低于派两人参会的费用，正因如此，开放问题的求解逻辑将被彻底改变。
另有 10 家信源报道
- OpenAI Astra 证明 10 项数学新成果马东锡 NLP · 8 月 2 日
- OpenAI Astra 内部版解决 10 大数学难题Karina Nguyen · 8 月 2 日
- OpenAI Astra 证明数学难题，人类难以感知其能力Ethan Mollick · 8 月 1 日
- OpenAI Astra 发布 10 项数学突破Tibo · 8 月 1 日
- OpenAI Astra 模型破解 10 道数学难题Rohan Paul · 8 月 1 日
- OpenAI 发布“下一代主要模型”Astra，攻克十道多年未解数学难题The Decoder：AI News · 8 月 1 日
- OpenAI 公布数学与理论计算机科学领域十项进展，Token 成本约 2000 美元IT之家·人工智能 · 8 月 1 日
- OpenAI Astra 内部版攻克 10 大数学难题Noam Brown · 8 月 1 日
- OpenAI Astra 内部版攻克 10 大数学难题Noam Brown · 8 月 1 日
- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日
来源：Rohan Paul · x.com
事件后续1
查看事件全部- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日