微軟AI要參加IMO競賽！小目標：數學金牌-1

今年，可能是最後一屆「純人類」參賽的IMO （國際奧數競賽）。   △參加2020年IMO的中國代表隊（李金珉的官方年齡信息有誤） 因爲在明年，AI可能也會加入這場金牌爭奪戰中，成爲一名「種子選手」。 這名潛入IMO賽事的AI名爲Lean，由微軟的研究人員開發。 目前，他們正計劃讓Lean參與明年的國際奧數競賽。 也就是說，它將與世界各國的奧賽選手一起爭奪IMO金牌。 其實，微軟研究人員讓AI參加

>>阅读原文<<