I mean more fundamentally, if they have access to even more advanced models than all of us and have this much downtime, does that imply that their models are possibly not so great at software dev?

But yes you're definitely right, it's perhaps more ironic than contradictory.