2020国际数学奥林匹克竞赛（IMO）成绩出炉！中国队5金1银且团队总分第一。其中来自重庆市巴蜀中学校的高二同学李金珉拿下了满分，成为本届比赛唯一的满分选手。IMO是世界上最负盛名的数学竞赛，许多参赛者都在日后成为了数学界的传奇人物。

  2020 年国际数学奥林匹克竞赛（IMO）成绩出炉！中国队获得 5 金一银，成绩获得团体总分第一名。这是中国队在 2019 年和美国队获得并列第一后，再度蝉联冠军的位置。

  其中，来自重庆市巴蜀中学校的李金珉获得 42 分，成为本届比赛唯一满分选手。

  今年的比赛很特殊，首先，由于疫情的原因，今年的大赛采用了线上的方式来进行。然而，不出意外的话，下一届比赛就有 AI 选手上场「搅局」了。

  2020年9月18至28日，第61届国际数学奥林匹克（IMO）在俄罗斯圣彼得堡市举行，来自104个国家和地区的616名选手参加了此次比赛。中国队以总分215分获得团体第一名。

  本届比赛，中国队获得个人总分前3名，在金牌总数、每一题上的总得分都是第一，并且团体总分领先第二名30分。

  中国队的6名队员分别是南京师范大学附中严彬玮、 中国人民大学附属中学依嘉、重庆市巴蜀中学李金珉、华南师范大学附属中学饶睿、乐清市知临中学韩新淼、 杭州学军中学梁敬勋。其中，严彬玮是唯一的女生，她曾在第35届中国数学奥林匹克（CMO）竞赛中以满分成绩获得过第一名。

  俄罗斯和美国分列总分第二、第三。中国队以215分的成绩超过俄罗斯队30分。

  在IMO历史上，中国成绩斐然。从1989年起，中国21次获得了最高团队得分，这中间还包括12次全员金牌。

  自1959年以来，IMO汇集了世界上最好的大学预科数学学生。在比赛的前两天，参与者有四个半小时的时间来回答三个难度慢慢的变大的问题。他们每个问题最多可得7分，而得分最高的选手则像在奥运会上一样获得奖牌。IMO的许多参与者都成为了数学界的传奇人物，有些人后来成为最高级的研究数学家。

  如陶哲轩，佩雷尔曼，吴宝珠和玛丽安·米尔札哈尼都是曾经的IMO参赛者，他们现在都已成为著名的数学家。陶哲轩先后三次参加IMO，分别获得铜牌、银牌、金牌，至今保持着最年轻获得IMO金牌的记录（那年陶哲轩12岁）。

  IMO不要求参赛者掌握过多的高等数学知识，即使是微积分都被认为「超纲」了。但这并不意味着IMO是简单的，来感受一下1987年古巴比赛的第五个问题：

  设n是一个不小于3的整数。证明平面上存在n个点的集合，使任意两点之间的距离为无理数，每三个点的集合确定一个有有理面积的非退化三角形。（非退化三角形就是三点不共线的普通三角形。）

  「这些问题的确很难，但如果他们把所知道的想法以一种聪明的方式组合在一起，事情就不一样了。」凯文·伯德说，他是伦敦帝国理工学院的Kevin Buzzard是「IMO大挑战团队」的成员，也是1987年IMO的金牌得主。

  事实上，研究人员将IMO视为「训练AI」的理想场地。如果一个AI系统能在这方面胜出，这将是AI匹配人类认知的重要突破——这也是人类训练AI的终极目标。

  例如，欧几里得在公元前300年证明存在无穷多个质数，这是数学中最古老的问题之一。通过将所有已知的质数相乘并加1就能找到一个新的质数，证明过程并不难，但这种新颖的思考方式却难想到。

  微软研究院的丹尼尔·塞尔萨姆说：「IMO代表了最艰巨的问题，可以教会聪明人以某种方式可靠地处理问题。」 塞尔萨姆是IMO挑战赛的创始人，该挑战赛的目的是训练AI，让其在世界顶级数学竞赛中获得金牌。

  为此，IMO挑战赛的团队正在使用名为Lean的软件程序，该程序于2013年由微软研究员Leonardo de Moura首次启动。Lean被称为是「证明的小助手」，它不仅帮忙能检查数学家的证明过程，还可以自动生成那些无谓的繁琐过程。

  但是，Lean需要学习更多的数学知识。该程序在使用一个名为mathlib的数学库，该库几乎涵盖了大二数学专业学生所需的所有知识，但是，对于IMO来说，这个库还是不够。

  Lean怎么利用它所拥有的知识，是AI的第二个挑战。IMO大挑战团队希望能够通过决策树来解决这一个问题——通过遵循决策树的方式，许多AI已经成功挑战了了象棋、围棋等项目。

  特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。

  曼联9轮仅8球！买安东尼花9500万欧、芒特6420万、霍伊伦7390万…

  6名教师被停职！男教师若满60周岁“提前退”，养老金能按100%领取吗？

  1599元起 铭凡Slim系列迷你主机上市：最高可选锐龙7 8745H

  TCL 华星喷墨印刷 OLED 技术新突破：光输出效率提高约 1.5 倍