Looking at his recent publications [1] it seems more like he wants to create an "automated mathematician" [1] https://arxiv.org/search/cs?searchtype=author&que

Looking at his recent publications [1] it seems more like he wants to create an "automated mathematician" [1] https://arxiv.org/search/cs?searchtype=author&query=Szegedy%2C+C https://arxiv.org/search/cs?searchtype=author&query=Szegedy%...