[marcosdumay]

> will this help up us to invent such algorithms?

It depends on the details, but it's very likely that the proof carries hints about how to create such algorithm.

But even if it doesn't, it being possible means that there is more value in searching for it than people expect today, so more people will look.