cd/entity/Martin Gardner· home› entities› Martin Gardner
grep -l @martin gardner /news/*.json | wc -l → 2

Martin Gardner

mentions 2 type Person feed RSS

// recent coverage 2 mentions

14:33
2026-07-20
johndcook.com
artificial-intelligence

Solving a chess puzzle with Grok 4.5

Grok 4.5 successfully generated SWI Prolog and Lean 4 code to solve a chess puzzle: placing five white queens and three black queens on a 5×5 board so that no queen of one color attacks a queen of ano…

13:14
2026-06-11
johndcook.com
artificial-intelligence

Solving a chess puzzle with Claude and Prolog

Claude AI generated a Prolog program to solve a Martin Gardner chess puzzle requiring placement of two rooks, two bishops, and two knights on a 4x4 board without any piece attacking another. The progr…

// co-occurs with top 8 entities
Claude 2 Prolog 1 SWI-Prolog 1 Philippe Roussel 1 Grok 4.5 1 ChatGPT 1 SWI Prolog 1 Lean 4 1
// topics top 3 topics
artificial intelligence 2 large language models 2 ai tools 2