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

 

 

 

IMO Grand Challenge | IMO Grand Challenge for Artificial Intelligence

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

 

 

 

 

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