p_hoep

The mathematicians who don't approve of the deliverables should boycott the proofs, that is the only way OpenAI will get what they deserve on this one.

No need. In the end the mathematicians that don't like this can just not look at the proofs or use them. They have that choice. Just like they didn't "ask" for them, they don't have to even acknowledge they exist.

I think we'll see people who want to post images of themselves in there as well. Like, being a 'playable character' you could prompt for to be in the artwork could be pretty fun.