機器之心報道

編輯：Sia

最近，IMO 是真的熱鬧。

不過，大家談論的重點都是 AI 在國際數學奧林匹克（ IMO ）上的表現。

這不，除了海外的 OpenAI、谷歌，國內的字節跳動 Seed 團隊也剛剛公布了他們的 IMO 競賽結果：

我們的形式化數學推理專用模型 Seed Prover 通過 3 天的嘗試，完整解決了 6 道題目中的 4 道以及一道題的部分證明，IMO 官方認證 Seed Prover 的成績為 30 分，達到了銀牌的分數。

而在人類賽場上，也有一位選手的表現堪稱「神跡」。

今年 IMO 全球共有五位選手以滿分 42/42 的成績脫穎而出。其中一位，是加拿大隊的 11 年級學生Warren Bei。

六道題，全部解答正確，這個成績極其罕見。IMO 作為全球最難的中學生競賽之一，每年全球能拿到滿分的學生屈指可數，他們往往是國家級選拔賽的冠軍、備戰數年、幾乎把整本高等數學內化的頂尖天才。

Warren Bei 正是其中之一，也是隊里唯一的滿分選手。

本屆IMO加拿大隊全體隊員名單，總成績并列第 12 名，其中金牌得主 Warren Bei拿到了42分的滿分。

Warren Bei 的 IMO 之路堪稱教科書。

• 2021 年，年僅七年級的他首次參賽，便斬獲銀牌（ 21 分）。
• 2022–2023 年，持續進步，連奪兩枚金牌。
• 2024 年，再獲銀牌，略有波動，但很快調整狀態。
• 2025 年，以滿分 42/42 華麗收官，全球并列第 1 名。

五年出戰，三金兩銀。他不止一次在采訪中提到，「我喜歡這些題，它們讓我好奇、讓我思考，我很享受那種安靜、純粹的推理時光。」

這張圖展示了 Warren Bei 在過去幾年參加IMO取得的成績。

雖然數學是他最專注的領域之一，但他也對物理和計算機科學充滿興趣。他曾代表加拿大參加了 2023 年國際信息學奧林匹克（IOI），拿下銀牌，并將在 2025 年再次出征。

在他看來，這些學科的本質是一致的——都是圍繞公理系統展開的結構性思維，是不同形式的問題建模與求解。

他曾這樣形容數理與編程的關系：物理是把世界寫成公式，程序是把想法寫成代碼。

2025 年春，麻省理工學院（MIT）向 Warren 發出提前錄取通知書。這不僅是對他過往成就的認可，更是對他未來潛力的注解。

西溫哥華教育局官方 Instagram 祝賀他CMO奪冠，提前被麻省理工學院 (MIT) 錄取。

對于未來，Warren Bei 保持一種開放的態度。

接受媒體采訪時，他坦言，自己目前還不太清楚數學家在實際工作中都做些什么，因此雖然大學可能會選擇數學或計算機專業，但是否走上學術研究之路，他希望等了解更多之后再決定。

他說：「世界一直在變化，我更愿意從現在出發，而不是從一個固定目標倒推。」

Warren Bei 住在加拿大不列顛哥倫比亞省的西溫哥華，就讀于當地知名的洛克里奇中學（Rockridge Secondary School）。這所中學以學生在 BC 省中考屢獲佳績而聞名。

小時候，他就喜歡做邏輯題、看科普類的書籍。一次偶然的機會，父母為他報了一個數學競賽——本是想試試看，沒想到成績卻出奇地好。

也正是那次意外的成功，點燃了他對數學的熱情。

Warren 真正走入公眾視野，是在他九年級那年—— 2021 年，他獲得加拿大最高級別的數學競賽加拿大數學奧林匹克（CMO）冠軍，成為史上最年輕的獲獎者之一。

CMO 一向被認為是加拿大最具挑戰性、最具聲望的學術賽事之一。大多數參賽者都是經驗豐富的高中年級學生，而 Warren 僅僅是個初中生。

這次勝利，也成為他后來幾年連勝之路的起點。

2023年，他重奪 CMO 桂冠，并在 2024 年成功衛冕。2025 年，他第四次摘得 CMO 冠軍，以 35 分制中的 27 分拔得頭籌。

不過，對于外界關注的獎牌和分數，Warren 有著不一樣的看法。

在他看來，比賽的意義，不在于獎項本身，而在于幾個小時沉浸在陌生問題中的專注與樂趣。「數學競賽不是為了分數，而是解決問題本身的過程讓我感到快樂。」

他也不覺得比賽變得「越來越容易」——相反，他始終認為，每一道題都是一個未知的挑戰，值得投入全新的思考與創造。

當被問到「遇到最難的題目怎么辦」時，他給出的回答別具哲思——

「題目的難，是因為你還不會做。困難本身是暫時的。關鍵，是依靠直覺生成想法，然后持續嘗試。」

在回顧數學競賽對自己的影響時，他提到：這條路不僅讓他接觸到許多新穎又深刻的數學主題，也鍛煉了解決復雜問題的能力；更重要的是，他在這一路上結識了許多志同道合的朋友，也激發了自己對未知世界的持續好奇。

他的偶像之一是 20 世紀最有影響力的數學科普作家 Martin Gardner 。最喜歡的兩本書是《Winning Ways》和《GEB（集異璧）》，因為它們能將簡單的想法編織成完整的理論。

正如《Winning Ways》作者之一 John Horton Conway 所說，當我發現超實數的時候，我意識到，玩游戲本身就是數學。順便說一句，這位數學家還以「生命游戲」等創作聞名，也是 Martin Gardner 的摯友。

面對剛剛踏上數學競賽之路的年輕人，Warren 給出這樣的建議：

每一個看似牽強的解法背后，其實都藏著一個可以讓它變得自然合理的深層洞察。關鍵，是去找到它。

參考資料

https://x.com/thegautamkamath/status/1947388513768349808

https://notes.math.ca/en/article/unveiling-the-cmo-champion-an-exclusive-interview-with-warren-bei/

https://ceoweeky.ca/warren-bei/