AI slowly restored its track record in the late nineties and early twenty first century by exploiting official mathematical techniques and by locating precise remedies to precise problems. This "narrow" and "formal" concentration permitted researchers to generate verifiable final results and collaborate with other fields (like data, economics and a