So we skipped 5.1, 5.2, 5.3, and 5.4: we really are plateauing

They need to catch up to OpenAI, so it makes sense to skip a few numbers.