The AI industry is monofocused on difficulty over utility. The NS problem is hard, but it is also useful if solved in a way that it illuminates a lot of areas of math, gives us new techniques etc.

Brute forcing a counter solve has not really changed the game as much.