Forgive the nitpick, but I think the standard definition of “weakly solved” requires known-optimal strategies from the starting position, which don’t exist for chess. It’s still not known for sure that chess is a draw—it just looks very likely.
Agreed. This is a deliberate abuse of mathematical terminology, substituting any notion of “proof” with “looks true from experimental evidence.”
Forgive the nitpick, but I think the standard definition of “weakly solved” requires known-optimal strategies from the starting position, which don’t exist for chess. It’s still not known for sure that chess is a draw—it just looks very likely.
Agreed. This is a deliberate abuse of mathematical terminology, substituting any notion of “proof” with “looks true from experimental evidence.”