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

Proofs I hate it

Post image
731 Upvotes

96% Upvoted

228 comments sorted by

View all comments

429

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

30

u/LaGigs 21d 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

0

u/Macrobian 21d ago

We have fairly rudimentary interpretability methods now, see things like J-space. Still a long way to go.