News organizations may use or redistribute this image, with proper attribution, as part of news coverage of this paper only.
Many attempts to develop artificial intelligence are powered by powerful systems of mathematical logic. They tend to produce results that make logical sense to a computer program — but the result is ...