剛剛獲得2020年國際數學奧林匹克競賽（IMO）世界第一的中國隊怎麼也沒想到，明年或將迎來一個強勁的對手，這個對手“非人類”，而是微軟的機器人Lean。

當然，這個參賽的機器人不像圍棋比賽一樣對弈，而是作爲參賽選手參與IMO，與中國隊、俄羅斯隊、美國隊等共同爭奪金牌。

還記得4年多前的那場圍棋界的人機大戰嗎？

2016年3月，阿爾法圍棋（AlphaGo）AlphaGo在一系列比賽中，以4比1擊敗了世界上最頂尖的韓國棋手李世石，是第一個擊敗人類職業圍棋選手、第一個戰勝圍棋世界冠軍的人工智能機器人。觀看由這個事件拍成的紀錄片，人們很難忘記李世石被擊敗時的悲傷表情。從那時起，人工智能替代人類的爭論就不絕於耳。

更遠的事件是20多年前，1997年，IBM的深藍國際象棋電腦在國際比賽中擊敗了當時的世界冠軍加里•卡斯帕羅夫，人工智能的公衆形象由此大幅提升，開始受到普遍關注。

人們不禁要問，明年的國際數學奧賽，數學界的天才少年是否會被機器人打敗呢？

據“量子位”介紹，微軟的研究人員從2013年就開始研發Lean，希望讓AI能擁有自主判斷、根據假設進行演繹的能力。其創始人之一微軟研究員Selsam表示，其目的是訓練一個人工智能系統，以便在世界頂級數學競賽中贏得金牌。

如果AI能像人一樣證明這些複雜的數學定理，某種程度上也能說明，讓它“像人一樣思考”就會成爲可能。

中國隊自1985年組隊參加國際奧賽以來，共獲得過21次世界第一，獲得36次滿分，無疑是國際數學奧賽的霸主。前幾年，美國3次奪得冠軍榜首，雖然中國隊雖未跌出前三，但一直與冠軍寶座失之交臂。直到去年和美國隊並列第一，今年更是位居全球第一。

但Lean機器人顯然是有備而來，經過7年的不斷研發，目前已經更新到第四代，其“深度學習”的能力已非同一般。

當然，數學競賽畢竟與圍棋不同，這個項目的研發團隊低調地表示，明年Lean機器人獲得金牌仍然是很困難的，但至少Lean將參賽，這就是歷史性的一步。

很多網友感嘆說，AI這些年發展神速，從國際象棋到圍棋，如今是最難的奧賽數學題。也許，終究有一天，人類大腦的工作原理會被解開，到那時，人工智能會不會取代人？

#2020國際奧數競賽##人工智能##AI技術##深度學習##教育頭條

相關文章