Simple artificial-intelligence problem puts researchers up against a logical paradox discovered by famed mathematician Kurt Gödel.
Machine learning leads mathematicians to unsolvable problem – Nature.com
Machine learning leads mathematicians to unsolvable problem Nature.com