Yes, David Pennock has had these results for a while. The economist would merely argue that results which are computationally intractible are equivalent to information which does not exist. And the computer scientist would point out this doesn't mean markets can't approximate efficient with a high degree of accuracy.