Related:

• We are on the verge: Today our program proved Fermat's next-to-last theorem!
• We are on the verge: Today our program proved Fermat's next-to-last theorem.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• We are on the verge: Today our program proved Fermat's next-to-last theorem.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• On the other hand, it is impossible for a cube to be written as a sum of two cubes or a fourth power to be written as a sum of two fourth powers o
  in general, for any number which is a power greater than the second to be written as a sum of two like powers....
• If If, Then Then. -- The Theorem Theorem
• If if, then then. -- The Theorem Theorem
• proof by accumulated evidence: Long and diligent search has not revealed a counterexample.
  proof by cosmology: The negation of the proposition is unimaginable or meaningless....