More likely it will be proving p!=np. Which, yes, would not really teach anything except we would finally know how to prove it, which could be useful for someth

More likely it will be proving p!=np. Which, yes, would not really teach anything except we would finally know how to prove it, which could be useful for something else.