There's this in mathematics. Also, this website might be a good place to look, though most of its examples seem less advanced than what you are looking for.

I have taken the survey. Thank you Yvain for running it.

I believe his human-level point is that if you are unable to find a problem with a current system, you will believe optimising it is impossible.