'the group signed an accord on "super intelligence" — Mr. Trump's preferred term for AI.'