JUST IN: Hoje @CadeMetz no New York Times abordou Aristóteles e a nossa busca para forjar o motor de raciocínio matemático mais avançado do mundo. A superinteligência matemática está a tornar-se mainstream.