Science

Queen’s mathmo achieves world’s first autonomous AI proof

Nicholas Land speaks to Kevin Barreto about achieving the world’s first autonomous AI solution to a maths problem