Mathematic conjectures disproven by extremely large counterexamples | Hacker News Reader