4 ms·
Prevents embarrassment if it turns out one’s idea is wrong, I suppose.
by DaiPlusPlus 2y ago
Prevents embarrassment if it turns out one’s idea is wrong, I suppose.
- someplaceguy 2y agoThe person in question formalized the entire proof in Coq, which certifies its correctness. To me, that makes your conjecture very unlikely to be true...