The math problems they have been solving lately suggests that they do. But then again they throw thousands of agents at the problems to get them solved so I don't know how much of it is a number thing and how much is a model thing.