Sounds like a bet that AGI is not achievable.