AI steadily restored its track record in the late nineties and early 21st century by exploiting formal mathematical techniques and by locating precise methods to precise problems. This "narrow" and "formal" target authorized researchers to make verifiable effects and collaborate