A long four-part paper by the Japanese mathematician S. Mochizuki
culminating in a proof of the abc conjecture (by Oesterle and Masser)
has been accepted for publication after eight years of refereeing.
(The majority of specialists abroad appear to remain unconvinced.)
Mochizuki relates his proof concept to the textbook computation of the
famous definite integral INT(EXP(-x^2), x, -inf, inf). Reading the
review in §1 may be a good way to unlearn how to compute the integral.