Quoted by Michael Harris:

“The result is also contained in a paper… released by OpenAI on October 6, 2026, in which the proof strategy and specific choices of notation are identical to a preliminary version of the present paper that was uploaded to ChatGPT on September 8, 2026.”

https://siliconreckoner.substack.com/p/now-all-mathematicians-can-be-mechanical

https://arxiv.org/abs/2610.10072