I don’t recall anything specific off the top of my head but I am confident that such a proof would have immediate actionable implications.

Furthermore, careful analysis of the latter would as likely as not yield further understanding and, actually /would/ help finding such algorithms.

Finally, it has been observed time and time again that often (again, nothing comes up and i don’t want to ask AI) the certainty that something is possible and has been done is motivation and inspiration enough for people to independently solve a problem. Sometimes it is even enough for someone new to simply not know that something is “hard” to solve.

It even “motivates” llms, it seems (eg https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...)

Of course this is all pure speculation concerning a hypothetical proof that most likely doesn’t exist, or indeed might be so complicated as to not be approachable even after hundreds of lifetimes of study.

Nevertheless your conclusion does not follow from the premise