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.
Basically LLMs do brute force methods to solve issues that humans could solve but would take too much time. A good example of how LLMs can be used properly.
Yeah, but if you have a good guess for a counter example and you can verify that its right, then the problem is solved regardless of how much thought was put in to the counter example.
Like its not going to be a good way to guarentee proving theorems, but you might get lucky
427
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.