Nicholas Land asks Kevin Barreto about solving a famous unsolved maths problem using autonomous AI, his opinion on Tripos ...