# The math of infinite chess | Joel David Hamkins and Lex Fridman Source: https://www.youtube.com/watch?v=WUL73XVdJR8 Recap page: https://rapidrecap.app/video/WUL73XVdJR8 Generated: 2026-01-04T13:06:43.693+00:00 --- ## Quick Overview Infinite chess is played on an infinitely extended chessboard where pieces move according to standard rules but without boundaries, and the key mathematical feature is the existence of positions where White has a guaranteed win, but Black controls the length of the game, meaning the position is not mate in N for any finite N, yet White wins infinitely many moves, a concept related to transfinite ordinals like omega. **Key Points:** - Infinite chess takes place on an integer board infinite in all four directions, maintaining the chessboard pattern, and unlike standard chess, it starts from complex, pre-existing positions rather than a standard setup. - A crucial distinction in infinite chess is the existence of positions where White has a winning strategy that requires an infinite number of moves, meaning it is "not mate in n for any n," but Black controls the duration of the game, which is doomed for Black. - The rules involve standard piece movement without intervening pieces, and the three-fold repetition rule is replaced by the actual rule: infinite play is a draw, meaning the only way to win is by checkmate at a finite stage. - Because there is no edge on the infinite board, pawn promotion does not occur in infinite chess. - The game value of such positions is described using ordinals; a position with game value omega means White wins, and Black, playing as the second player, essentially counts down from omega by choosing a finite number initially, and then subtracting one move for every subsequent turn. - Joel Hamkins developed the concept partly through a Math Overflow question and collaborated with US National Master chess player Corey Evans to construct and prove the validity of these complex positions, correcting initial flaws in piece placement. - Initial work established positions with game values up to omega cubed, and subsequent work with Norman Promotter reached omega to the fourth, leading to the current understanding that every countable ordinal arises as the game value of some infinite chess position. **Context:** The discussion centers on the mathematical formalization of infinite chess, presented by Joel David Hamkins during an interview with Lex Fridman. Infinite chess extends the standard 8x8 board infinitely in all directions, utilizing standard chess piece movements, and it is primarily studied through complex starting positions designed to exhibit mathematically interesting properties related to transfinite game theory, often involving ordinals. ## Detailed Analysis Infinite chess operates on an infinitely extended board where piece movements follow standard chess rules, but critically, there are no boundaries, eliminating edge effects like pawn promotion, and the game is decided by checkmate within a finite number of moves; infinite play results in a draw, replacing the three-fold repetition rule of finite chess. The most fascinating aspect discussed is the existence of positions where White possesses a winning strategy but cannot force a checkmate in any finite number of moves (not mate in N for any N), yet Black cannot prevent the ultimate loss, meaning White wins infinitely many moves. This concept is mathematically analyzed using ordinals; for a position with value omega, Black can control the length of the game by choosing an initial finite number of moves to counter White's initial large step down from omega. Hamkins developed this theory, initially spurred by a Math Overflow question, in collaboration with chess expert Corey Evans, who helped ensure the structural integrity of the chess positions against tactical refutations. Their early work established positions reaching game values of omega, omega squared, and omega cubed, later extended to omega to the fourth, and the field has advanced to the point where every countable ordinal is known to be realizable as a game value in infinite chess. ### Infinite Chess Definition - Played on an integer board infinite in all four directions - Pieces move normally but can move as far as they want without intervening pieces - No standard starting position; complex positions are presented for analysis ### Rules and Draw Conditions - Pawns move upwards for White and downwards for Black, capturing diagonally - Three-fold repetition is eliminated; infinite play is the definitive rule for a draw - Checkmate at a finite stage is the only way to win - Pawn promotion is absent due to lack of an edge ### Transfinite Winning Strategy - Positions exist where White wins but not in a finite number of moves (not mate in n for any n) - Black controls how long the winning sequence takes, counting down from an ordinal value like omega - If the value is omega, Black chooses a finite number, and then White wins in the remaining steps after Black subtracts one move each turn ### Construction and Collaboration - Construction of winning positions requires mathematical creativity and rigorous chess knowledge - Hamkins collaborated with Corey Evans (US National Master) to fix tactical flaws in constructed positions - Initial papers proved existence up to omega cubed, later extended to omega to the fourth ### Current State of Research - The initial interest stemmed from a question on Math Overflow - The field has advanced significantly - Currently, every countable ordinal arises as the game value of some position in infinite chess