Michael Shalyt and the trouble with a convincing answer

At APERIO, Michael Shalyt helped detect when industrial data could not be trusted. After game-testing bots and a candid startup goodbye, he is asking what it takes for AI to do mathematics.