3 ms·
Yes, especially when the counterexample is formally verified. It converts years of speculative effort into a definite answer almost immediately
by veunes 3mo ago
Yes, especially when the counterexample is formally verified. It converts years of speculative effort into a definite answer almost immediately