MathDB

On Christmas Eve, 1983, Dean Jixon, the famous seer who had made startling predictions of the events of the preceding year that the volcanic and seismic activities of

1980

and

1981

were connected with mathematics. The diminishing of this geological activity depended upon the existence of an elementary proof of the irreducibility of the polynomial

P(x)=x^{1981}+x^{1980}+12x^{2}+24x+1983.

Is there such a proof?

Problem Statement