The 2027 timeline to AGI feels way too early but the numbers he puts forward are very hard to argue with