Machine learning leads mathematicians to unsolvable problem


New top story on Hacker News: Machine learning leads mathematicians to unsolvable problem