Seems like a case for https://longbets.org/ You and the other poster just need to find some agreeable benchmark so you can decide who won.
Good idea, I know they've been around for a while. I just signed up under the same username in case 27183 is interested.
> You and the other poster just need to find some agreeable benchmark so you can decide who won.
That is the hard part. I'm not sure the usage numbers we'd need to decide the outcome are public now, and I can't predict ~4yr out whether any currently available metric will continue to be available. Stack Overflow's popular language thing has been going for a while, that will probably still exist (if SO does) but do we have any reliable metrics to tell us what fraction of code is AI generated?