Thore Graepel launches Metis Reasoning to pursue a different approach to AI reasoning · Digg