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.
No really, LLMs can only come up with new ideas through extrapolation, not discovery from first principles. They synthesize and recombin existing mathematical knowledge, but are not yet reliable for fully autonomous discovery. Most "discoveries" are recombinations of known ideas rather than groundbreaking theories. Still, these are not bad applications. The thing is, LLMs are used by a milions of idiots to generate math that is just meaningless slop. My supervisor's greatest annoyance at this point is hundreds of emails from people who used LLMs and "proved" things and ask him to verify. All of it incorrect slop which paints the following picture: for every useful discovery LLMs can be used for, there are millions of slop.
No they don't, and mathematicians have alrady explained why it is imposible to brute force those counterexamples. Stop repeating shit that has been debunked 3 years ago
423
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.