Linking AI models to formal verification methods can correct LLM shortcomings such as false assertions. Amazon's Byron Cook explains the promise of automated reasoning.

A national spatial plan is key to solving England’s housing crisis, argues Ian Barnett, as planning reforms struggle to align growth, infrastructure, and local politics.