OpenAI 公布数学与理论计算机科学领域十项进展，Token 成本约 2000 美元
均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本约 2000 美元
AI 导读OpenAI 官方公布了在数学与理论计算机科学领域的十项进展，这些均为至少十年未解的难题，由下一代核心模型 Astra 的内部版本计算得出，按 Sol API 费率计算总 token 成本约 2000 美元。人类研究员协助撰写论文手稿并在 Lean 语言中完成形式化验证，但数学论证本身均由 OpenAI 系统生成。OpenAI 认为，完全由 AI 生成的证明不应被声称为人类独立撰写。
另有 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 模型破解 10 道数学难题Rohan Paul · 8 月 1 日
- OpenAI 发布“下一代主要模型”Astra，攻克十道多年未解数学难题The Decoder：AI News · 8 月 1 日
- OpenAI Astra 内部版攻克 10 大数学难题Noam Brown · 8 月 1 日
- OpenAI Astra 内部版攻克 10 大数学难题Noam Brown · 8 月 1 日
- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日
来源：IT之家·人工智能 · ithome.com
事件后续1
查看事件全部- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日