> But perhaps equating "solved" with "weakly solved" is default in this area? It is the default and all that matters. This is one of the dangers of reading pa

> But perhaps equating "solved" with "weakly solved" is default in this area? It is the default and all that matters. This is one of the dangers of reading papers as a non-expert. You can dismiss or be wowed by something that is totally irrelevant. They wrote the paper very much like the Checkers paper from Science 2007.