Yes, especially when the counterexample is formally verified. It converts years ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

veunes 25 days ago | parent | context | favorite | on: Human mathematicians are being outcounterexampled

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact