均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本仅 2000 美元
OpenAI 官方今日公布了在数学与理论计算机科学领域的十项进展，这些问题此前一直悬而未决，其核心研究在至少十年（多数情况下甚至更久）的时间里未曾取得任何实质性进展。据悉，这些成果由 OpenAI 的 2026-8-1 10:15:37 Author: blog.upx8.com(查看原文) 阅读量:22 收藏

OpenAI 官方今日公布了在数学与理论计算机科学领域的十项进展，这些问题此前一直悬而未决，其核心研究在至少十年（多数情况下甚至更久）的时间里未曾取得任何实质性进展。

据悉，这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。若按 Sol API 的费率计算，寻找这些问题解决方案所需消耗的总词元 (tokens) 成本约为 2000 美元。人类研究员协助撰写了论文手稿，并在 Lean 语言中对这些证明进行了形式化验证，对其正确性负责；然而这些数学论证本身均由 OpenAI 的系统生成。

—— IT之家


文章来源: https://blog.upx8.com/%E5%9D%87%E4%B8%BA-10-%E5%B9%B4%E4%BB%A5%E4%B8%8A%E6%9C%AA%E8%A7%A3%E9%9A%BE%E9%A2%98-OpenAI-%E5%85%AC%E5%B8%83%E5%9C%A8%E6%95%B0%E5%AD%A6%E4%B8%8E%E7%90%86%E8%AE%BA%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%A7%91%E5%AD%A6%E9%A2%86%E5%9F%9F%E7%9A%84%E5%8D%81%E9%A1%B9%E8%BF%9B%E5%B1%95-Token-%E6%88%90%E6%9C%AC%E4%BB%85-2000-%E7%BE%8E%E5%85%83
如有侵权请联系:admin#unsafe.sh