John Carmack just founded a AGI startup and raised 20m. Not sure if he’s wearing CEO title but arguably technically competent.