John Langford announces Microsoft exit and declares AI Frontiers over · Digg