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