3 ms·
Magnus Carlson said that if you tell him there’s a winning move on a chess board he could find it very quickly, because his focus becomes extremely narrow. I w
by awb 3y ago
Magnus Carlson said that if you tell him there’s a winning move on a chess board he could find it very quickly, because his focus becomes extremely narrow.
I wonder if something similar is happening here. Since the scope was defined as LK-99, it becomes a narrow query instead of a broad one.
- Sharlin 3y agoThis is not just telling someone there's a winning move. It's telling them that X is a winning move and they just have to verify that X is indeed one. Many, many problems are such that it's difficult to find a solution but easy to verify one.
- XnoiVeX 3y agoI know nothing about this but I stay curious. Just like Navier-Stokes equations can be proved with numerical approximations, can this be verified even if we never solve it?
- awb 3y agoTrue, but in this instance it’s my understanding that there were still some areas of guesswork where the paper wasn’t clear.