It can be proven that they work perfectly, i.e. cannot be improved on, under certain strong conditions. They work less than perfectly otherwise. But most markets are never near those conditions and empirically work quite well for the set of thick, widely traded markets with good[1] information.
[1] Not perfect