@12548
"a major misunderstanding of what mathematics is"
++ Goldbach, Fermat, Riemann, Mersenne, Ramanujan are famous mathematicians for what they conjectured, not for what they proved and certainly not for proofs they criticized.
Besides many proofs were at first faulty and had to be corrected, e.g. the Four color theorem
)
@12545
"solving checkers took 18 years and over a thousand CPU years"
++ No. The majority of that was for creating Chinook and the endgame table base.
The actual solving took 2 years and 50 CPU, i.e. 100 CPU years.