An AI has disproved five mathematical conjectures with no human help - Sparkes, M (2017)
New Scientist