Comment by veunes

2 days ago

Yes, especially when the counterexample is formally verified. It converts years of speculative effort into a definite answer almost immediately

0 comments