AI steadily restored its standing from the late nineties and early 21st century by exploiting formal mathematical solutions and by locating unique methods to certain problems. This "slim" and "official" focus allowed researchers to produce verifiable benefits and collaborate with