OpenAI Astra 模型破解 10 道数学难题
Some really cool news for the world of Math in AI. OpenAI's unreleased Astra model solved 10 math p...
AI 导读OpenAI 未发布的 Astra 模型解决了 10 道数十年来悬而未决的数学难题，覆盖高维几何、编码理论、算子代数、量子复杂性与格密码学等领域。全部解题仅耗约 $2,000 token 费用（Sol API 价格），即每题 $200。每个 AI 论证均经 Lean 逐步重建验证，确保每一步推理完全严谨。
另有 10 家信源报道
- OpenAI 下一代模型内部版以约 2 千美元 token 解决 10 个开放难题Rohan Paul · 8 月 4 日
- 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，攻克十道多年未解数学难题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 日