Still reading minor nitpick: for point 2 you don’t want to say NP (since P is in NP). It is the NP-hard problems that people would say can’t be solved but for small instances (which as you point out is not a reasonable assumption).
Still reading minor nitpick: for point 2 you don’t want to say NP (since P is in NP). It is the NP-hard problems that people would say can’t be solved but for small instances (which as you point out is not a reasonable assumption).