Hacker News new | ask | show | jobs
by veunes 8 days ago
Yes, especially when the counterexample is formally verified. It converts years of speculative effort into a definite answer almost immediately