Nature, Published online: 25 November 2025; doi:10.1038/d41586-025-03856-1

Blending ‘old-fashioned’ logic systems with the neural networks that power large language models is one of the hottest trends in artificial intelligence.