机器之心报道

编辑：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/