機器之心報道
Sia
最近,IMO是真的熱鬧。
不過,大家談論的重點都是AI在國際數(shù)學奧林匹克(IMO)上的表現(xiàn)。
這不,除了海外的OpenAI、谷歌,國內(nèi)的字節(jié)跳動Seed團隊也剛剛公布了他們的IMO競賽結(jié)果:
我們的形式化數(shù)學推理專用模型SeedProver通過3天的嘗試,完整解決了6道題目中的4道以及一道題的部分證明,IMO官方認證SeedProver的成績?yōu)?0分,達到了銀牌的分數(shù)。
而在人類賽場上,也有一位選手的表現(xiàn)堪稱「神跡」。
今年IMO全球共有五位選手以滿分42/42的成績脫穎而出。其中一位,是加拿大隊的11年級學生WarrenBei。
六道題,全部解答正確,這個成績極其罕見。IMO作為全球最難的中學生競賽之一,每年全球能拿到滿分的學生屈指可數(shù),他們往往是國家級選拔賽的冠軍、備戰(zhàn)數(shù)年、幾乎把整本高等數(shù)學內(nèi)化的頂尖天才。
WarrenBei正是其中之一,也是隊里唯一的滿分選手。
本屆IMO加拿大隊全體隊員名單,總成績并列第12名,其中金牌得主WarrenBei拿到了42分的滿分。
WarrenBei的IMO之路堪稱教科書。
2021年,年僅七年級的他首次參賽,便斬獲銀牌(21分)。2022–2023年,持續(xù)進步,連奪兩枚金牌。2024年,再獲銀牌,略有波動,但很快調(diào)整狀態(tài)。2025年,以滿分42/42華麗收官,全球并列第1名。五年出戰(zhàn),三金兩銀。他不止一次在采訪中提到,「我喜歡這些題,它們讓我好奇、讓我思考,我很享受那種安靜、純粹的推理時光?!?/p>
這張圖展示了WarrenBei在過去幾年參加IMO取得的成績。
雖然數(shù)學是他最專注的領域之一,但他也對物理和計算機科學充滿興趣。他曾代表加拿大參加了2023年國際信息學奧林匹克(IOI),拿下銀牌,并將在2025年再次出征。
在他看來,這些學科的本質(zhì)是一致的——都是圍繞公理系統(tǒng)展開的結(jié)構(gòu)性思維,是不同形式的問題建模與求解。
他曾這樣形容數(shù)理與編程的關系:物理是把世界寫成公式,程序是把想法寫成代碼。
2025年春,麻省理工學院(MIT)向Warren發(fā)出提前錄取通知書。這不僅是對他過往成就的認可,更是對他未來潛力的注解。
西溫哥華教育局官方Instagram祝賀他CMO奪冠,提前被麻省理工學院(MIT)錄取。
對于未來,WarrenBei保持一種開放的態(tài)度。
接受媒體采訪時,他坦言,自己目前還不太清楚數(shù)學家在實際工作中都做些什么,因此雖然大學可能會選擇數(shù)學或計算機專業(yè),但是否走上學術(shù)研究之路,他希望等了解更多之后再決定。
他說:「世界一直在變化,我更愿意從現(xiàn)在出發(fā),而不是從一個固定目標倒推?!?/p>
WarrenBei住在加拿大不列顛哥倫比亞省的西溫哥華,就讀于當?shù)刂穆蹇死锲嬷袑W(RockridgeSecondarySchool)。這所中學以學生在BC省中考屢獲佳績而聞名。
小時候,他就喜歡做邏輯題、看科普類的書籍。一次偶然的機會,父母為他報了一個數(shù)學競賽——本是想試試看,沒想到成績卻出奇地好。
也正是那次意外的成功,點燃了他對數(shù)學的熱情。
Warren真正走入公眾視野,是在他九年級那年——2021年,他獲得加拿大最高級別的數(shù)學競賽加拿大數(shù)學奧林匹克(CMO)冠軍,成為史上最年輕的獲獎者之一。
CMO一向被認為是加拿大最具挑戰(zhàn)性、最具聲望的學術(shù)賽事之一。大多數(shù)參賽者都是經(jīng)驗豐富的高中年級學生,而Warren僅僅是個初中生。
這次勝利,也成為他后來幾年連勝之路的起點。
2023年,他重奪CMO桂冠,并在2024年成功衛(wèi)冕。2025年,他第四次摘得CMO冠軍,以35分制中的27分拔得頭籌。
不過,對于外界關注的獎牌和分數(shù),Warren有著不一樣的看法。
在他看來,比賽的意義,不在于獎項本身,而在于幾個小時沉浸在陌生問題中的專注與樂趣?!笖?shù)學競賽不是為了分數(shù),而是解決問題本身的過程讓我感到快樂?!?/p>
他也不覺得比賽變得「越來越容易」——相反,他始終認為,每一道題都是一個未知的挑戰(zhàn),值得投入全新的思考與創(chuàng)造。
當被問到「遇到最難的題目怎么辦」時,他給出的回答別具哲思——
「題目的難,是因為你還不會做。困難本身是暫時的。關鍵,是依靠直覺生成想法,然后持續(xù)嘗試?!?/p>
在回顧數(shù)學競賽對自己的影響時,他提到:這條路不僅讓他接觸到許多新穎又深刻的數(shù)學主題,也鍛煉了解決復雜問題的能力;更重要的是,他在這一路上結(jié)識了許多志同道合的朋友,也激發(fā)了自己對未知世界的持續(xù)好奇。
他的偶像之一是20世紀最有影響力的數(shù)學科普作家MartinGardner。最喜歡的兩本書是《WinningWays》和《GEB(集異璧)》,因為它們能將簡單的想法編織成完整的理論。
正如《WinningWays》作者之一JohnHortonConway所說,當我發(fā)現(xiàn)超實數(shù)的時候,我意識到,玩游戲本身就是數(shù)學。順便說一句,這位數(shù)學家還以「生命游戲」等創(chuàng)作聞名,也是MartinGardner的摯友。
面對剛剛踏上數(shù)學競賽之路的年輕人,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/
口才快速提升
李強師說《演講口才之講師培訓》演講與口才視頻
優(yōu)秀的人從來不會輸在表達上:會說話的人,一開口就贏了