正文 · AI 翻译
是的，这个结果花费了数百万美元。
但请记住，当 @OpenAI 发布 o3 时，在 ARC-AGI 1 上取得 87.5% 的分数花费了约 50 万美元。如今，Astra 以约 20 美元的成本取得了更高的分数。
在 2025 年，我们和 GDM 投入了巨大的算力才在国际数学奥林匹克竞赛（IMO）中夺得金牌。而对于 2026 年的 IMO，任何拥有每月 20 美元 ChatGPT 订阅的人都能做到。
大规模扩展测试时计算让我们得以一窥未来。我相信，一年之后，每个人都将触手可及一个能够解决这一级别问题的 AI。
我们正在分享纳维-斯托克斯千禧年大奖难题的一个解法，这是数学前沿最深刻的问题之一。 该证明由一组智能体完成，使用了 OpenAI 的下一代模型，其能力显著超越 GPT-6 Astra。 该问题关乎纳维-斯托克斯方程所描述的光滑三维流体运动描述是否会失效。它已悬而未决约 90 年。