AI step by step restored its status while in the late nineties and early 21st century by exploiting official mathematical solutions and by locating unique methods to unique problems. This "slender" and "formal" focus allowed researchers to supply verifiable final results and collaborate with other fields (for example statistics, economics and arith