On: Machine learning leads mathematicians to unsolvable problem

[sampo]

Earlier discussion: https://news.ycombinator.com/item?id=18858724 (Same research, but different news coverage)

The actual research, which I find more understandable than the news coverage: https://www.nature.com/articles/s42256-018-0002-3