> What if OpenAI is stalling because they don't have 100 additional unpublished proofs as claimed?

Which is what I think a large chunk of AI progress actually is - people taking the latest models out for a spin, and browbeating them to actually ship code, and RLHFing them to ship better code in the process, either directly or indirectly through Github.