微软AI要参加IMO竞赛！小目标：数学金牌-1

今年，可能是最后一届“纯人类”参赛的IMO （国际奥数竞赛）。   △参加2020年IMO的中国代表队（李金珉的官方年龄信息有误） 因为在明年，AI可能也会加入这场金牌争夺战中，成为一名“种子选手”。 这名潜入IMO赛事的AI名为Lean，由微软的研究人员开发。 目前，他们正计划让Lean参与明年的国际奥数竞赛。 也就是说，它将与世界各国的奥赛选手一起争夺IMO金牌。 其实，微软研究人员让AI参加

>>阅读原文<<