人工智能在数学上能够走多远？IMO银牌是个里程碑

文章预览

点击上方“ 图灵人工智能 ”，选择“星标”公众号 您想知道的人工智能干货，第一时间送达                           来源：风云之声 近日， DeepMind 的AlphaProof/AlphaGeo在国际数学奥林匹克竞赛(IMO)中取得了前所未有的成绩，解出了六道问题中的四道，获得银牌。这是个什么成绩呢？本届竞赛共有来自108个国家的609位选手参加，其中54人获得金牌，121人获得银牌，145人获得铜牌。因此，AlphaProof/AlphaGeo的成绩可以说仅次于54位人类选手。这一成就无疑将与"深蓝"击败卡斯帕罗夫和"AlphaGo"击败李世石一样，成为人工智能挑战人类智力巅峰的又一里程碑，同时也将引发新一轮关于机器智力边界的讨论。 冷战背景下，一些社会主义阵营国家认为数学是科学和技术发展的基础，也意识到了早期发现和培养数学天才的重要性。他们提出了一个颠覆性的数学教 ………………………………