文章预览
图源:DeepMind 导读: 上周刚刚结束的第65届国际数学奥林匹克竞赛(IMO ),最引人关注的新闻是美国队获团体第一,中国队获团体第二。在人类的这一智力和逻辑推理的高水平竞赛之外,人工智能也在摩拳擦掌,试图击败人类,证明自己。 7月25日,人工智能企业DeepMind宣布,其提出的混合AI模型做出了IMO比赛六道题目中的四道,获得 28 分,达到了银牌水平,距离金牌仅差一分。那么,这一结果意味着什么? Jonathan Zhou | 撰文 近日,DeepMind的数学证明模型AlphaProof/AlphaGeo首次尝试国际数学奥林匹克竞赛(IMO),就取得了前所未有的成绩,解出了六道问题中的四道获得银牌。这一成就,虽然还未能完全击败人类,但不禁会让人联想到"深蓝"击败卡斯帕罗夫和"AlphaGo"击败李世石的故事,被认为是人工智能挑战人类智力巅峰的又一里程碑。可以预
………………………………