Lab Notes: The AI maths wars

Jonathan Webb and ABC AI reporter Cam Wilson discuss how AI systems are changing mathematical research and the controversy around claims concerning the Navier–Stokes equations and the Millennium Prize. Mathematician Tristan Buckmaster of New York University contributes to the discussion.