The longest forced mate (assuming black tries to postpone mate as far as possible) currently known: 524 moves. Nobody knows what the first 500 mean. As Tim Krabbé says of these computer wins, it’s like discovering the secret to the universe but it’s in Estonian.