Obama’s concerned an AI could hack America’s nukes