A prize-winning mathematician has launched a new institute dedicated to developing the “mathematical foundations” for AI ...