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