Everyone else in the thread was talking about the traveling salesman. I won’t completely rule out that he, personally, didn’t know because mathematicians are weird af, but it would be very strange.