Counterexample generators for mathematicians

Stream: general

[Alexander Bentkamp]

I vaguely remember that there was a mathematician who said that if only computers could tell when a conjecture they are trying to prove is in fact false, that would save them 50% of their time. Does anyone remember who said this?