They did work in different divisions, and Carmack was always pretty firm about AGI getting here quickly, he just thought an AGI>ASI hardtakeoff scenario wouldn’t be possible due to GPU limitations.

It’s difficult to discern what Gary Marcus actually thinks though, Facebook does seem to be falling behind everyone and Marcus might just be loud mouthing everyone else down to keep investors going to Facebook.