我們可能正朝著 OpenAI 與 DeepMind IMO 之間的情節轉折前進。 剛看到 Joseph Myers 的一篇帖子（自 1992 年以來參與數學奧林匹克）：IMO 委員會據報要求 AI 實驗室在閉幕式後的 7 天內不要公布結果——出於對人類參賽者的尊重（參見我昨天的帖子），並可能是為了給予適當驗證 AI 提交和格式的時間。 根據 Joseph 的說法，OpenAI 沒有與 IMO 合作測試他們的模型，91 位官方 IMO 協調員中也沒有參與評分其解答。與此同時，DeepMind 似乎遵循規則，耐心等待他們的輪到。 背景資訊： IMO 有 6 道題目，每道題目值 7 分。今年的金牌截止分數是 35 分。即使是小的扣分也可能讓 OpenAI 降到銀牌。根據我對他們的寫作的理解，有些部分可能會引發問題——並可能扣分。 Terence Tao 也指出，雖然題目保持不變，但測試格式很重要。在標準條件下不會獲得銅牌的學生，可能在修改的設置下獲得金牌——這引發了關於 AI "解決 IMO" 的真正問題。 下週可能會變得火熱。敬請關注。

DeepMind 在週五下午於國際數學奧林匹克（IMO）獲得金牌。但他們必須等到市場部批准推文——直到週一。 @OpenAI 在週六凌晨1點首先分享了他們的消息，搶走了風頭。 在這場比賽中，速度 > 官僚主義。錯過時機，就會失去敘事。

就在20分鐘前，2025年IMO的結果出爐了。 中國排名第一，@GoogleDeepMind獲得金牌 🥇 未來的數學競賽將是中國隊對美國華人隊對AI

隨著AI模型的增長，優化FLOPS/$（每美元的計算能力）變得至關重要。 請查看Hyperbolic如何優化您的GPU成本 🧵

你對這個 Hyperbolic 的廣告牌想法有什麼看法？

我們剛剛推出了我們的保留 GPU 即時報價：非常適合需要長時間專用計算的 AI 團隊。 在我們的應用程式中獲取您精確基礎設施需求的即時定價！

剛下班，嘗試在一個本科生的拓撲問題上使用Grok-4。它花了9分鐘思考，然後自信地給出了一個乾淨、合理，但完全錯誤的答案😅 我不認為這個算是「技術上對抗性強」。AI模型正在壓倒基準——但在真正的數學AGI方面仍然有很長的路要走。

Grok 在 AIME 上獲得滿分 🤯 我們現在絕對需要一個更好的數學基準來評估 AI

如果一切順利，最佳的開源推理模型將在下週四發布。 自2019年GPT-2以來，OpenAI就沒有開源過大型語言模型，所以我很期待。 我們將在Hyperbolic上托管它。準備好吧。

人工智慧的未來是協作的