Machine learning leads mathematicians to unsolvable problem - Pretty interesting idea, quite badly explained, I think the article might be saying that determining whether an algorithm has learned something or not is an undecidable problem (we manage to do it somehow though don't we) - Also mathematician/philosopher Gödel used to wear a black streak in his hair according to the photograph in this piecewww.nature.com #