It's not like he and Greg are brilliant mathematicians and coders that will sit down in a cubicle at Redmond and churn out code for AGI in six months.