“GPT-4o is significantly better than its predecessor not primarily due to a radical increase in thinking time, but because it has become fundamentally more efficient at reasoning.”