B\"uchi's problem asks whether there exists a positive integer $M$ such that
any sequence $(x_n)$ of at least $M$ integers, whose second difference of
squares is the constant sequence $(2)$, satisifies $x_n^2=(x+n)^2$ for some
$x\in\Z$. A positive answer to B\"uchi's problem would imply that there is no
algorithm to decide whether or not an arbitrary system of quadratic diagonal
forms over $\Z$ can represent an arbitrary given vector of integers. We give
explicitly an infinite family of polynomial parametrizations of non-trivial
length $4$ B\"uchi sequences of integers.