Solving a chess puzzle with Grok 4.5

In this blog post, John Cook explores the capabilities of Grok 4.5 in solving a chess puzzle, building on his previous experiences with using AI models like Claude and ChatGPT for generating code in Prolog or Lean. He initially doubted Grok's ability but was pleasantly surprised with its performance.