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

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

>>阅读原文<<