$\begingroup$

Since the article linked in Tyler Lawson's comment seems to be restricted, here is a transcript. I have to say that everything in this article seems either too vague to evaluate, or a misunderstanding of an oversimplification (probabilistic proofs, for example), or a misunderstanding of proofs and the research process in general, or just obnoxious.

Crisis in Mathematics (New York Times, 1976-06-02)

Mathematics, school children are taught, is the most exact of the sciences. An answer to a mathematical problem is either right or wrong; maybe is excluded. The proof of a mathematical theorem is either correct or incorrect, and a good enough mathematician can always come to a firm conclusion. But now, according to Science magazine, such ideas may be obsolete. Mathematics, too, is in a state of crisis in which the old verities are at least suspect, if not actually destroyed.

Take the case of a certain statement in a branch of advanced mathematics called "homotopy theory," a subject we won't even try to pretend we know anything about. Anyway, one mathematician produced a long and complex proof that the statement was correct. About the same time another mathematician came up with a similarly complex and long proof that the statement was incorrect. The two investigators exchanged proofs and each sought to find an error in his rival's work. Neither succeeded.

Then there is the shattering discovery that some mathematical theorems require proofs that are so long that even computers can't work the proofs out in any acceptable period of time. An Israeli mathematician has suggested a possible way out. The trouble, he believes, is that mathematicians are too demanding; they won't accept the idea that a proof may be wrong once in a while. If mathematicians will just accept proofs which have even a slight probability — say, one in a billion — of being wrong, then, he thinks, a lot of impossible proofs can become possible.

At the root of this crisis, some mathematicians hold, is the fact that some of the long proofs now being published are pressing the limits of the amount of information a single human mind can handle. That may be, but we know a lot of people who thought that mathematicians had approached that limit a long time ago — about the time of Euclid, in fact.