News for hackers. Stuff that matters.
Re:Magnus Carlsen retains title after winning lopsided match by glenstein on Saturday December 11, 2021 @09:15AM (#29520989)
Solved by computers has a formal meaning, pertaining to absolute knowledge of the best move in every situation. My understanding is that chess not solved in that sense.

I understand what you mean though, so fair enough. But I think it's generally only worth being nitpicky about definitions if it's important to maintain them and I think in this case formally solved is one of the important ones.

Re:Magnus Carlsen retains title after winning lopsided match by semi-extrinsic on Saturday December 11, 2021 @09:43AM (#29521185)
Yeah, you are absolutely right, this is why I put it in scare quotes. (I felt that this distinction, though important, was not relevant to the point I was making.)