简评：中国又拿了国际数学奥赛金牌，不过下一次的对手就不只是人类了

Daniel Selsam 19福校博，

Percy Liang门下得。// co-advisor David Dill

MSR 加盟AI做，

目标夺取IMO。

 

At the International Mathematical Olympiad, Artificial Intelligence Prepares to Go for the Gold | Quanta Magazine

https://www.quantamagazine.org/at-the-international-mathematical-olympiad-artificial-intelligence-prepares-to-go-for-the-gold-20200921/

 

 

 

IMO Grand Challenge | IMO Grand Challenge for Artificial Intelligence

https://imo-grand-challenge.github.io/

 

 

https://dselsam.github.io

 

 

中国又拿了国际数学奥赛金牌，不过下一次的对手就不只是人类了

https://mp.weixin.qq.com/s/u0T8zB11DBXVbnEDcp4t-w