top | item 43735019

(no title)

vlz | 10 months 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?)

discuss

order

jay_gridbach|10 months ago

Haha, finding even a single counterexample would be a nightmare.

staunton|10 months ago

Surely, finding a counterexample would be huge news, a noteworthy advance in mathematics, and thus a great and widely praised achievement.