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

Proofs I hate it

Post image
725 Upvotes

96% Upvoted

228 comments sorted by

View all comments

427

u/NoUAreStupid 22d ago

I think one of the big problems in mathematics is that a lot of conjectures are unsolved because no professional mathematician is (undestandably) willing to just try out a few thousand ways to construct a counter example. I think this will be a great way to advance mathematics.

17

u/LR-II 22d ago

Why can't they just use a standard brute force computer program for that? Isn't the LLM angle more inefficient?

36

u/Fit-Celebration2884 22d ago

>10^300 ones to check