4 ms·

This comment does nothing other than demonstrate your own ignorance of research mathematics.

• adamnemecek 9y ago
  Please keep going.
  • deleted 9y ago
    [deleted]
  • reallydude 9y ago
    Why bother?
  • qmalzp 9y ago
    I have never seen a theorem prover applied to even basic 100-year-old results in Algebraic Number Theory. I think you underestimate the difficulty in translating a mathematical idea into a format a computer program can understand.