Machine learning leads mathematicians to unsolvable problem | Hacker News Reader