N nature.com Machine learning leads mathematicians to unsolvable problem 197 points magoghm 7 years ago 92 comments