 There are $n>1000$ people at a round table. Some of them are knights who always tell the truth, and the rest are liars who always tell lies. Each of those sitting said the phrase: “among the $20$ people sitting clockwise from where I sit there are as many knights as among the $20$ people seated counterclockwise from where I sit”. For what $n$ could this happen?
1. Let's denote the number of knights as \( K \) and the number of liars as \( L \). Since there are \( n \) people in total, we have:
   \[
   K + L = n
   \]
2. Each person at the table makes a statement about the number of knights in the next 20 people clockwise and counterclockwise. Let's denote the number of knights in the next 20 people clockwise from person \( i \) as \( K_{i, \text{cw}} \) and the number of knights in the next 20 people counterclockwise from person \( i \) as \( K_{i, \text{ccw}} \).

3. According to the problem, each person \( i \) claims:
   \[
   K_{i, \text{cw}} = K_{i, \text{ccw}}
   \]
   If person \( i \) is a knight, this statement is true. If person \( i \) is a liar, this statement is false.

4. Consider the sum of knights in any segment of 20 people. Since the table is round, the total number of knights in any segment of 20 people should be the same if the statement is true for all knights. This implies that the number of knights in any segment of 20 people is constant.

5. Let \( k \) be the number of knights in any segment of 20 people. Since there are \( n \) people and each segment of 20 people has \( k \) knights, we can write:
   \[
   k = \frac{20K}{n}
   \]
   Since \( k \) must be an integer, \( \frac{20K}{n} \) must also be an integer.

6. For the statement to hold for all \( n \) people, the number of knights \( K \) must be such that \( \frac{20K}{n} \) is an integer. This implies that \( n \) must be a divisor of \( 20K \).

7. Since \( n > 1000 \), we need to find the values of \( n \) that are divisors of \( 20K \) and greater than 1000. 

8. The smallest value of \( n \) that satisfies this condition is when \( K \) is maximized. If \( K = n \), then \( n \) must be a multiple of 20. Therefore, \( n \) must be a multiple of 20 and greater than 1000.

9. The smallest multiple of 20 greater than 1000 is 1020. Therefore, \( n \) could be 1020.

The final answer is \( \boxed{ n = 1020 } \).