Choose how you want to continue.
Solving a chess puzzle with Grok 4.5
Summary
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.
MORE POSTS LIKE THIS
The Mythical Token-Month
Francesco Gadaleta <frag> ·
Sep 5, 2026
Most Integration Failures Are Stupid
Simpler Machines ·
Aug 20, 2026
AUTHOR
Sponsored
Organized team chat for people who take work seriously. Topic-based
threading keeps conversations focused.
Try Zulip