Walid Saba pointed to the article “Machine learning leads mathematicians to unsolvable problem” that states that a simple artificial-intelligence problem puts researchers up against a logical paradox discovered by Kurt Gödel. “The undecidability in the latest results points to what Gödel found to be an intrinsic incompleteness in any mathematical language. The findings will probably be important for the theory of machine learning, although it’s not clear if it will have much impact on the practice”. Link