AI slowly restored its name while in the late 1990s and early 21st century by exploiting formal mathematical methods and by acquiring specific alternatives to precise problems. This "slim" and "formal" concentration allowed researchers to make verifiable success and collaborate with other fields (like studies, economics and arithmetic).It is hard o