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

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

>>阅读原文<<