3 ms·To add: with a requirement that he rewrite the proof to credit OpenAI.by golly_ned 23d agoTo add: with a requirement that he rewrite the proof to credit OpenAI.