To add: with a requirement that he rewrite the proof to credit OpenAI.