8 ms·
Running this now. I like how they have a big "Number of counterexamples found: 0" in the UI. Imagine they would find a counterexample on your machine… From time
by vlz 1y ago
Running this now. I like how they have a big "Number of counterexamples found: 0" in the UI. Imagine they would find a counterexample on your machine… From time to time I switch to the tab to make sure the zero is still a zero (I guess there is basically no chance, but who knows?)
- jay_gridbach 1y agoHaha, finding even a single counterexample would be a nightmare.
- staunton 1y agoSurely, finding a counterexample would be huge news, a noteworthy advance in mathematics, and thus a great and widely praised achievement.
- ndsipa_pomu 1y agoIt'd also be an end to the project and would make the conjecture far less interesting.
- kevinventullo 1y agoIMO it would make the conjecture far more interesting, as it would be a surprise to most people who have thought about the problem. Many natural questions would arise, starting with “Is this the only counterexample?”
- ndsipa_pomu 1y agoPossibly, but it would join other false conjectures such as Euler's sum of powers conjecture - posed in 1769 and no counterexample found until 1966. There's only been three primitive counterexamples found so far. (I got that from https://math.stackexchange.com/questions/514/conjectures-that-have-been-disproved-with-extremely-large-counterexamples https://math.stackexchange.com/questions/514/conjectures-tha... which features some other false conjectures that may be of interest to you)
- charlieyu1 1y agoNot even the same implications. All empirical evidence strongly support the Goldbach conjecture. Any counterexample would mean an entire field of Mathematics has to be rewritten.