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.
Brute forcing a counter solve has not really changed the game as much.