來自檔案：我們詢問了 Scott Wu (@ScottWu46)，今年是否會有 AI 在國際數學奧林匹克中獲得金牌。 “如果沒有，我會感到驚訝……我們內部的賭注是 AI 會贏。” 昨天這個預測實現了。 OpenAI 的研究人員表示，一個實驗性的推理模型在 2025 年的 IMO 競賽中，在完全考試條件下參加了考試；兩個 4.5 小時的考試時段，沒有互聯網，自然語言證明，並解決了 6 個問題中的 5 個，得分 35/42，足以獲得金牌。