機(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ī)極其罕見。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)展開的結(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保持一種開放的態(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)賽——本是想試試看,沒想到成績(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)題中的專注與樂趣。「數(shù)學(xué)競(jìng)賽不是為了分?jǐn)?shù),而是解決問(wèn)題本身的過(guò)程讓我感到快樂?!?/p>
他也不覺得比賽變得「越來(lái)越容易」——相反,他始終認(rèn)為,每一道題都是一個(gè)未知的挑戰(zhàn),值得投入全新的思考與創(chuàng)造。
當(dāng)被問(wèn)到「遇到最難的題目怎么辦」時(shí),他給出的回答別具哲思——
「題目的難,是因?yàn)槟氵€不會(huì)做。困難本身是暫時(shí)的。關(guān)鍵,是依靠直覺生成想法,然后持續(xù)嘗試。」
在回顧數(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/
英國(guó)小哥被考研英語(yǔ)一虐哭?母語(yǔ)者翻車引爆全網(wǎng):原來(lái)我們這么強(qiáng)
1. 暴擊現(xiàn)場(chǎng):母語(yǔ)者被“中國(guó)英語(yǔ)”吊打翻譯題破防:面對(duì)“塞翁失馬”這類文化梗,英國(guó)小哥抓狂:“這根本不是英語(yǔ)!”寫作題陷阱:要求用高級(jí)邏輯分析“共享單車經(jīng)濟(jì)”,他吐槽:“英國(guó)高考都沒這么卷!”閱讀修羅場(chǎng):專業(yè)文獻(xiàn)+復(fù)合長(zhǎng)句,讓雅思8.5的英語(yǔ)教師直呼需要“中文翻譯”2. 魔鬼考題背后的中式智慧文化 拿漢語(yǔ)給英語(yǔ)注音這是我們學(xué)英語(yǔ)的拿手好戲,比如最經(jīng)典的就是“Hands,hands,two hands”,被注音為“漢子,漢子,偷漢子!”,如果說(shuō)這是學(xué)英語(yǔ)的杰作,那么外國(guó)人學(xué)漢語(yǔ)也會(huì)這一招,比如“胃”,注音為“way”,再比如“手臂”被注音為“show bee”,很多這樣注音的,很搞笑吧!他們寫作文的水平,大家看到此結(jié)束了?。一句話虐哭百萬(wàn)人,它感動(dòng)了誰(shuí)?