A Polish mathematician spent two decades crafting a problem meant to test the limits of artificial intelligence. A new AI ...