They haven't been failing to solve it, that's what they're explicitly optimizing for.