AWhat changed
Combined retrograde endgame databases with proof-tree management and forward search to give a source-reported computational proof that perfect play from the standard8x8checkers starting position is a draw.
Scientific scope
Combined retrograde endgame databases with proof-tree management and forward search to give a source-reported computational proof that perfect play from the standard8x8checkers starting position is a draw. Weak solution from the initial position, not a strong solution for every legal position or every draughts variant. Source reports internal consistency and partially independent component checks; WRS has not downloaded/replayed proof databases or independently certified correctness. Search heuristics guide work but heuristic scores alone are not the terminal proof certificate.
Evidence
The linked original sources describe the stated contribution and its evidence limits. WRS has not independently rerun the experiments or certified a proof. Weak solution from the initial position, not a strong solution for every legal position or every draughts variant. Source reports internal consistency and partially independent component checks; WRS has not downloaded/replayed proof databases or independently certified correctness. Search heuristics guide work but heuristic scores alone are not the terminal proof certificate.
Contributors
- Source-listed authors and technical contributors · SCIENCE: Source-listed authors or explicitly credited technical contributors for the cited versions. Family entries retain source-specific attribution; a combined list is not one original-paper byline or equal individual work. Names alone do not establish resolved identities.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction