> The alternative you are proposing implicitly is even crazier. OpenAI should not release a proof that is most likely correct so that it doesn’t burden others.

The alternative is that they do the work to properly present the results. They spend billions of dollars in AI training and inference but can't afford to even cite the literature properly? They're doing the bare minimum because they're inly interested in doing a PR stunt.