Have we settled on a really good universal approximation model of memory+computation or is this a hard topic to solve in itself ?