Well these are all allegations. Either way from what I understand the reasoning and proof was basically made by AI so I'm not sure what supposedly "stolen".

I'm just wondering how much real input Buckmaster gave here that he thinks the proof is his. I guess at the end of the day OAI still wins if ChatGPT was used to prove this successfully.