Comment by emil-lp

10 hours ago

I would guess ETH has been assumed in thousands of papers. I have several myself.

On the positive side, suddenly there's a whole bunch of open problems!