All you get is a new, likely to be useless fact, together with the opaque proof of that fact. There are no known or forseeable applications to the finding that

All you get is a new, likely to be useless fact, together with the opaque proof of that fact. There are no known or forseeable applications to the finding that there are singularities in the idealized flow. What you lose OTOH, are the many deep mathematical insights humans motivated by the search would have stumbled upon on the way to that fact and which are much more likely to lead to real-world applications. It's these insights that are truly productive, not settling mathematical points, however iconic these might be. I think the error you're making is that you're assuming these systems have the same mathematical capability as humans (or better). But that's not the case, nor would an informed prediction be that they surely will get there soon enough if technological evolution keeps apace. That would be akin to believing a hiker will reach the moon if they will just keep ascending the mountain. "But look, they are making such good progress!"