Posted by quoderat on Monday Feb 4, 2019

Machine learning leads mathematicians to unsolvable problem. Headline is bad. Problem is undecidable, not unsolvable.