James Lighthill

British applied mathematician whose 1973 report helped trigger the first AI winter.

Lighthill’s government-commissioned review criticized overpromising in robotics, language understanding, and automatic theorem proving. Its skeptical tone contributed to funding cuts and the first AI winter in Britain and beyond.