I don't think this is known to be intractable, just really slow (for now).
Reply on news.ycombinator.com