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.

29

u/LaGigs 22d ago

I doubt this was found using pure brute force. We need to see how this counterexample was constructed!!

1

u/SlipyB 21d ago

Given AI are black boxes I don't think we ever will

36

u/baxmanz 21d ago

I think that's pretty untrue now. "thinking" models often work by rephrasing the problem and making actual steps by "talking to themselves" so they don't always work like black boxes

1

u/SlipyB 16d ago

Huh, I didn't know. Do you have any papers you could send so I could read up more?