ChristianKl comments on Open Letter to MIRI + Tons of Interesting Discussion

[ChristianKl]

You said you can’t deduce something. This means that there’s a puzzle that you couldn’t solve and it’s not a hard problem to solve.