AI step by step restored its reputation inside the late 1990s and early 21st century by exploiting formal mathematical methods and by getting precise answers to distinct problems. This "narrow" and "official" aim permitted scientists to supply verifiable results and collaborate w