[gruseom]

What you're saying makes it sound comparable to a compelling software demo that only works on simplified test cases.

[Panoramix]

Sort of, except in that analogy people like Dijkstra and Knuth are saying "this is a big deal, let's take a closer look".