4 ms·
They've already done this, in fact. Computer-assisted proofs are well-known, such as the proof of the four-color theorem.
by cbd1984 11y ago
They've already done this, in fact. Computer-assisted proofs are well-known, such as the proof of the four-color theorem.
- agumonkey 11y agoIt's not completely new then.