AI step by step restored its track record within the late nineteen nineties and early 21st century by exploiting official mathematical methods and by acquiring specific methods to specific problems. This "slim" and "official" concentrate allowed researchers to generate verifiable