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 and it is possible that he came to the thread, didn’t read any comment on it and just posted the solution, but it would be very strange.