John Carmack's AGI startup raises $20M – TechCrunch