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.