我们可能正面临OpenAI与DeepMind IMO传奇中的情节反转。 刚看到Joseph Myers的一篇帖子（自1992年以来参与数学奥林匹克）：IMO委员会据说要求AI实验室在闭幕式后7天内不要发布结果——出于对人类参赛者的尊重（见我昨天的帖子），并可能是为了留出时间对AI提交的内容和格式进行适当的验证。 根据Joseph的说法，OpenAI并没有与IMO合作测试他们的模型，91名官方IMO协调员中没有人参与评分其解决方案。与此同时，DeepMind似乎遵循规则，耐心等待他们的轮次。 背景信息： IMO有6道题目，每道题值7分。今年的金牌分数线是35分。即使是小幅扣分也可能让OpenAI降到银牌。从我对他们的写作的理解来看，有些部分可能会引发质疑——并可能导致扣分。 Terence Tao还指出，虽然题目保持不变，但测试格式很重要。在标准条件下无法获得铜牌的学生，可能在修改后的设置中获得金牌——这引发了关于“解决IMO”对AI意味着什么的真实问题。 下周可能会变得火热。敬请关注。

DeepMind在周五下午获得了国际数学奥林匹克的金牌。但他们不得不等到周一才能获得市场营销部门的批准才能发推。 @OpenAI在周六凌晨1点首先分享了他们的消息，抢走了风头。 在这个游戏中，速度 > 官僚主义。错过时机，就会失去叙事。

就在20分钟前，2025年国际数学奥林匹克的结果公布了。 中国队排名第一，@GoogleDeepMind获得了金牌 🥇 未来的数学比赛将是中国队对美国华人队对人工智能的较量。

随着人工智能模型的发展，优化每美元的FLOPS（每美元的计算能力）变得至关重要。 请查看Hyperbolic如何优化您的GPU成本 🧵

你对这个关于Hyperbolic的广告牌创意怎么看？

我们刚刚推出了我们的预留GPU即时报价：非常适合需要长时间专用计算的AI团队。 在我们的应用程序中获取您确切基础设施需求的即时定价！

刚下班，尝试用Grok-4解决一个本科生的拓扑问题。它花了9分钟思考，然后自信地给出了一个干净、合理但完全错误的答案😅 我认为这并不算是“巧妙的对抗”。AI模型正在打破基准——但在真正的数学AGI方面仍然任重道远。

Grok 在 AIME 上得了满分 🤯 我们现在绝对需要一个更好的 AI 数学基准

如果一切顺利，最好的开源推理模型将在下周四发布。 自2019年GPT-2以来，OpenAI还没有开源过任何大型语言模型，所以我很兴奋。 我们将在Hyperbolic上托管它。准备好吧。

人工智能的未来是协作的