An Atari 2600 chess cartridge defeated OpenAI's ChatGPT, highlighting limitations of large language models in non-text tasks.

The formalization makes the concepts amenable to algebraic analysis and provides a convenient notation for version system designers. It also allows one to formulate algebraic laws that a correct ...