AI is helping tackle one of the biggest unsolved problems in maths 9 December 2019 Machine-learning algorithms are being used to tackle the Birch and Swinnerton-Dyer conjecture, one of the fiendishly difficult Millennium Prize Problems