The million-dollar math problem hardly anyone is trying to solvescientificamerican.com·2 pts·baruchel·2
From Probable to Provable: What Automated Reasoning Means for the Boardmariothomas.com·1 pts·baruchel·0
How many steps in a "chain of victories" separate you from your favorite player?mastodon.online·2 pts·baruchel·0
Any chess position with 8 pieces on board and one pair of pawns has been solvedmastodon.online·18 pts·baruchel·2