Machine learning leads mathematicians to unsolvable problem
18 January 2019
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.