> how I can make good on this bet.

I agree with you, and I think that's where Polymarket or similar could be used to see if these people would put your money where their mouth is (my guess is that most won't).

But first we would need a precise definition of AGI. They may be able to come with a definition that makes the bet winnable for them.