This is not the first time that a computer has played an important role in
``proving'' a theorem. A notable earlier example is the four-color theorem
[3]. Yet, these are not proofs in the traditional mathematical
sense. It is impossible for any human being to check through all the
calculations. From personal experience, it is extremely easy to make
programming mistakes. We have taken many precautions, including the use of
two different programs to cross check selective sample cases and the
checking of internal consistency when isomorphism testing is performed.
Yet, I want to emphasize that this is only an experimental result and it
desperately needs an independent verification, or better still, a
theoretical explanation.
Annotation Form Interface