簡評：中國又拿了國際數學奧賽金牌，不過下一次的對手就不隻是人類了

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