S
SkillNav

OpenAI Astra 用2000美元token证明10个数学难题

深度The New Stack2026年8月4日5 分钟阅读
OpenAI Astra 用2000美元token证明10个数学难题
OpenAI 本周宣布，其下一代前沿模型的内部版本在数学和理论计算机科学领域，为10个长期未解难题生成了机器验证的证明，整个过程仅消耗约2000美元的 token 费用。这一定价或许是本次公告中最值得关注的点，因为它首次让外界对前沿 AI 推理的实际成本有了一个粗略的概念。
本文编译自 OpenAI’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000.，版权归原作者所有。

觉得有用？分享给更多人

获取每周 AI 工具精选

工具推荐、实战教程和生态洞察，每周更新。

关注 @skillnav_dev →阅读周刊

相关文章

Kubernetes 准备好运行 AI Agent 了吗？

Kubernetes 原本假设软件只做开发者让它做的事，但 AI Agent 会自主推理、调用工具、编写代码，打破了这一前提。文章讨论了 Agent 负载对 Kubernetes 提出的三大挑战：安全沙箱缺失、生命周期极短需要快速启动、以及监控难题，并介绍了社区正在探索的 agent substrate 方案——让 Agent 在热池中保持挂起状态以实现毫秒级恢复。

深度The New Stack·10月25日·5 分钟

AWS 安全智能体修复 89% 漏洞，但有个前提

AWS 正式发布代码安全智能体 Continuum，在其自研的 CyberGym-E2E 基准测试中取得 89% 的端到端修复成功率，相比之前公开最高分 65.9% 大幅提升。但基准测试仅覆盖 C/C++ 内存安全漏洞，且由 AWS 自行执行；在历史漏洞修复这一项上得分仅 37.8%，说明修复的未必是预设目标漏洞。

深度The New Stack·10月24日·3 分钟

评论