Right. Imagine if some human mathmetician released what OpenAI did with all the caveats and warnings about possible mistakes.

It would be ridiculous for anyone to say "hey man you really shouldn't even have posted these unless you have an ironclad proof".