这次也有AI参赛
萧箫 晓查 发自 凹非寺
非常AI 报道 | 公众号 QbitAI
巧了，昨天东京奥运会刚刚开幕，而另一场头脑角逐的奥赛上，中国队勇夺六金。
刚刚，第62届国际奥林匹克数学竞赛（IMO 2021）成绩公布。
经过2天6题的角逐，中国队全队以总分208分获得第一名，连续三年夺冠。而且参赛6人均获得金牌，其中王一川成为了本届奥赛唯一一个*满分8选手。
今年参赛的6位中国队选手分别是：
王一川：华东师大第二附属中学，高三
韦晨：北京十一学校，高三
彭也博：深圳中学，高二
夏语兴：华中十大第一附属中学，高二
冯晨旭：深圳中学，高一
陈锐韬：中国人民大学附属中学，高二
本届IMO按国家或地区的排名如下，第二名俄罗斯队总分208分，第三名韩国队总分172分，而美国队从去年的季军位置掉到第四。
（注：这里P1~P6代表第1题到第6题每个题目的团队总分）
去年的IMO原计划在俄罗斯举办，但因为受到疫情影响， 延期到9月份并改为线上形式。
今年的IMO于7月14日俄罗斯开幕，正式比赛在7月19日和20日两天进行。每天考试时间为4.5小时，参赛者每天需完成3道大题，共6道大题。每道题7分，满分42分。
可以看出本届大赛让选手们失分的主要是是第一日的第2题、第3题
那么让众多数学高手“栽倒”的难题究竟是怎样？我们接着往下看。
几何题难倒大家
第2题是一道代数证明题：
再来看一下道几何题：
根据第一句话，能画出来这样的一张图。目前已知的信息有：AD是∠BAC的角平分线；△BXC为等腰三角形。
现在，将图补充完毕后，再来看看题目是什么意思：O1、O2分别是两个三角形的外心，即求证BC、EF、O1O2三条直线共同交于P点，也就是三线共点问题。
怎么样，你能试着证明出来吗？
另外，今年的第4题也是一道几何题。
简单来说，就是证明下图中蓝色四边形和红色线段的边长总和相等。
作为第二日比赛的首题，难度相对较小，排名靠前的国家队基本都拿到了满分。你会吗？
最后，若想获得本届IMO所有赛题，请在我们的公众号中回复“IMO”。
6位中国选手
接下来介绍一般本次参赛的几位中国队，他们经过各级奥数比赛和国家队集训选出的佼佼者。
王一川
王一川来自华东师范大学第二附属中学高三年级。
在竞赛历程中，他一路表现亮眼，在第35届和第36届中国数学奥林匹克竞赛（CMO）都获得了金牌。
△ 左三为王一川；图源：华东师大二附中
去年，他还入围了阿里数学竞赛决赛。
根据华东师范二附中官方消息，王一川目前已签约清华姚班。
韦晨
韦晨，来自北京十一学校高三年级。
从网上公开消息来看，韦晨早在初中阶段便在数学竞赛中展露头角，入围了2016年全国初中数学联赛北京赛区获奖名单。
彭也博
彭也博来自深圳中学高二年级。
在去年的第36届CMO中，他以出色的发挥夺得第一名，进入国家集训队。
这也是他第二次进入国家集训队。在2019年，他高一时，就拿下过一枚CMO金牌，并以第八名的成绩入选国家集训队。
不得不说的是，深圳中学近年来在学科竞赛上表现着实抢眼。
以去年的CMO为例，深圳中学11名学子共斩获4枚金牌、5枚银牌、2枚铜牌。
夏语兴
夏语兴来自华中师大一附中，目前是高二在读。
早在去年的第36届CMO中，便以优秀的成绩，入围了国家集训队，是湖北省6人之一。
而华中师范大学第一附属中学也是去年CMO赛场上表现最出色的学校之一，有11人拿下金牌，强势刷榜。
△ 左一为夏语兴
冯晨旭
冯晨旭是此次名单中唯一一位高一选手，来自深圳中学。
在第62届IMO国家队第二轮选拔入选名单中，16人里只有3位来自高一。另外两位分别是来自来自南京外国语学校的戴江齐，和西安高新第一中学的郭泓辰。
△ 左一冯晨旭，右一彭也博；图源：深圳中学
陈锐韬
陈锐韬，来自人大附中高二年级。
在去年举办的第36届中国数学奥林匹克竞赛（CMO）上，他以第3名的成绩摘下金牌，入选国家集训队。
这也是人大附中连续第三年有选手进入IMO国家队。
本届大赛其实还有个彩蛋，因为本届IMO将会有AI参加，这位选手就是由微软研发的人工智能Lean。
但是我们没有在美国队的名单中看大Lean，也没有在Lean出现在其他地方，不知道是被“鸽”，看来只能等大赛官方或者微软后续如何宣布了，不知道这次AI能在人类中排第几？
但即便再强，也最多和王一川同学打个平手。（手动狗头）
最终成绩排名：
https://www.imo-official.org/year_country_r.aspx?year=2021
试题内容：
https://www.imo-official.org/problems.aspx
