3 ms·
Please keep going.
by adamnemecek 9y ago
Please keep going.
- deleted 9y ago[deleted]
- reallydude 9y agoWhy bother?
- qmalzp 9y agoI 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.