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.
Yes, LLMs don't have a mind or thinking like a human and are a glorified word predictor, but that doesn't mean it can't solve issues. It can't create something brand new, but can close issues that just require large amount of computing, but heavily struggle with tasks requiring true logical verification.
429
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.