In 2023, frontier language models could not reliably add four-digit numbers