A team of international mathematicians found that even the smartest artificial intelligence can't solve an unprovable computer problem.
