They are not far away, jack, as shown by this report from this year’s Times Crossword Championship by puzzles editor Mick Hodgkin, in case you haven’t seen it:
“There is no stopping Mark Goodliffe, it seems, but the dawn of AI means The Times crossword champion was pushed to his limits by specially trained cryptic crossword software.
Goodliffe, 60, a former financial director, retained his title on Saturday (his 14th victory), solving the final puzzle in under nine minutes, more than four minutes ahead of his nearest rival.
But also pitting its wits (if that is the right word) against the puzzles was a specialist artificial intelligence program that has come closer than any other to cracking the cryptic crossword mindset.
Professor Siddhartha Chatterjee, a computer scientist at the University of Texas, brought his creation, Darmok, over on his laptop for the event after a summer of intensive training.
Darmok solved two of the three semi-final puzzles in an impressive seven minutes but came unstuck on the third. Faced with the final puzzle, the program put up a performance that would have earned a human contestant fourth place but gave up after 18 minutes with one clue left. This was it:
Large drops in circuits elevated battery discharge (5)
Chatterjee, who created the program only four months ago with Nick Tomlin of New York University, said it was based on the latest ChatGPT model, GPT-5 ,but with further prompts. He described it as “a reasoning model” which goes through a chain of logic to get to the answer.
Speaking after the event, Chatterjee said that they would keep refining the model and hope to return next year.
“Teaching an AI program to solve cryptic crosswords was one of those things I always thought must be impossible, so I had to try it,” he said.
Enthusiasts hope cryptic crosswords will prove to be one of the last bastions of human ingenuity that cannot be mastered by AI.
Many clues work like equations, with certain words indicating an anagram or that one word goes inside another. But solvers also need to exercise a degree of lateral thinking, and unravel punning cryptic definitions that are harder to reduce to crackable code.
However, every year the crossword’s equivalent of Deep Blue is coming closer. IBM’s supercomputer defeated the chess grandmaster Garry Kasparov in 1997, two years before Mark Goodliffe won his first crossword championship.
Now the question is who can beat Goodliffe — will it be a fellow human or an AI challenger?”