Comment by vlz
5 days 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?)
Haha, finding even a single counterexample would be a nightmare.
Surely, finding a counterexample would be huge news, a noteworthy advance in mathematics, and thus a great and widely praised achievement.
It'd also be an end to the project and would make the conjecture far less interesting.
3 replies →