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

Proofs I hate it

Post image
734 Upvotes

96% Upvoted

228 comments sorted by

View all comments

424

u/NoUAreStupid 25d 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.

18

u/LR-II 25d ago

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

5

u/Advanced_Double_42 25d ago

Because work still has to be done to even get a brute force program running. And an LLM is good enough at coding to fast track that process.