Find all integer polynomials $P(x)$, the highest coefficent is 1 such that: there exist infinitely irrational numbers $a$ such that $p(a)$ is a positive integer.
To find all integer polynomials \( P(x) \) with the highest coefficient being 1 such that there exist infinitely many irrational numbers \( a \) such that \( P(a) \) is a positive integer, we can proceed as follows:

1. **Define the Polynomial and Consider a Prime Number \( p \)**:
   Let \( P(x) \) be an integer polynomial with the leading coefficient 1. Consider the polynomial \( Q(x) = P(x) - a_0 - p \), where \( p \) is a prime number and \( a_0 \) is the constant term of \( P(x) \).

2. **Analyze the Behavior of \( Q(x) \)**:
   Evaluate \( Q(x) \) at \( x = 1 \) and as \( x \to \infty \):
   \[
   Q(1) = P(1) - a_0 - p
   \]
   Since \( P(x) \) is a polynomial with integer coefficients and the leading coefficient 1, as \( x \to \infty \), \( Q(x) \to \infty \).

3. **Intermediate Value Theorem**:
   By the Intermediate Value Theorem, since \( Q(x) \) changes sign between \( x = 1 \) and \( x \to \infty \), there exists a real root \( x_p \) in the interval \( (1, \infty) \) such that:
   \[
   Q(x_p) = 0 \implies P(x_p) = a_0 + p
   \]

4. **Consider the Nature of \( x_p \)**:
   We have two cases to consider:
   - If there exist infinitely many \( x_p \) that are irrational, then we are done because \( P(x_p) = a_0 + p \) is a positive integer for infinitely many irrational \( x_p \).
   - If there are only finitely many irrational \( x_p \), then there exists a prime \( p_0 \) such that for all \( p > p_0 \), \( x_p \) must be rational.

5. **Rational Root Theorem**:
   If \( x_p \) is rational for \( p > p_0 \), by the Rational Root Theorem, \( x_p \) must be an integer that divides the constant term of \( Q(x) \), which is \( a_0 + p \). Since \( x_p > 1 \), \( x_p \) must be \( p \) itself (as \( p \) is prime and \( x_p \) must be greater than 1).

6. **Polynomial Degree Analysis**:
   If \( x_p = p \), then:
   \[
   P(p) = a_0 + p
   \]
   This implies that \( P(x) = a_0 + x \) for all \( x \). However, this contradicts the assumption that \( P(x) \) is a polynomial of degree greater than 1.

7. **Conclusion**:
   Therefore, the only integer polynomial \( P(x) \) with the highest coefficient being 1 that satisfies the given condition is:
   \[
   P(x) = x + a_0
   \]
   where \( a_0 \) is an integer.

The final answer is \( \boxed{ P(x) = x + a_0 } \) where \( a_0 \) is an integer.