There was a recent proof that he did
https://lwn.net/Articles/1100449/
During peer review a race condition was found in his code. Would he have spotted it himself when writing the code manually? Maybe, maybe not. He's only human, and the AI is only AI.
alt Hacker News
https://lwn.net/Articles/1100449/
During peer review a race condition was found in his code. Would he have spotted it himself when writing the code manually? Maybe, maybe not. He's only human, and the AI is only AI.