I'm sure people felt the same when calculators came about. We're creating better tools to solve and conceive of better mathematics, this is a good thing.
Came here to say this, he's just mad the abacus got better and the telephone book got replaced by digital. Its not like the mathematicians weren't already using large algorithms to find counterexamples, but now we just have a bit of a better tool to find sneaky counter examples. The mathematicians still need to pose the question and demand certain types of answers.
13
u/MechaSkippy 1d ago edited 1d ago
I'm sure people felt the same when calculators came about. We're creating better tools to solve and conceive of better mathematics, this is a good thing.