Remix.run Logo
▲ emil-lp an hour 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!