Some of the heads like Altman seem to be putting all their chips in the "AGI in [single-digit number] years" pile.