Professor Peter O'Hearn (UCL Computer Science) says latest research findings on 'unsolvable' mathematical problems is “of a rare kind”, and will probably be important for the theory of machine learning.