Simple artificial-intelligence problem puts researchers up against a logical paradox discovered by famed mathematician Kurt Gödel.

Source: Machine learning leads mathematicians to unsolvable problem