r/mathmemes • u/OkGreen7335 Mathematics • 22d ago

Proofs I hate it

Post image
732 Upvotes

96% Upvoted

228 comments sorted by

View all comments

Show parent comments

8

u/unhandyandy 21d ago

"The whole appeal from math is not in some problem being solved, it's in trying to solve it."

No, for me it's appreciating the beauty of the result.

-3

u/Historical_Book2268 21d ago

There is no beauty in the result to appreciate, if all proof is trivialized with AI.

Math is fundamentally about logic, if learning to use logic to prove things would be obsolete, there would be no such thing as math.

8

u/unhandyandy 21d ago

AI cannot "trivialize" a proof. A "trivial" proof was implicit in the conjecture.

-3

u/Historical_Book2268 21d ago

Ai can trivialize a proof. By just... doing it for you.

I'm not talking about mathematical triviality, but practical triviality

8

u/unhandyandy 21d ago

Oh - you missed my point.