Wonder if he's still working in AGI with Carmack.