i think to certain types of people (who are probably more likely to be mathematicians), the "self" discovery aspect of it is important, they don't want to read about a new proof for a problem they were grappling with, they want to come about it through their own thoughts.
LLMs are not feeding us things, we are asking it and getting answers. This dialectic I think is super powerful and it still requires the human to ask questions and continue expanding intellectual curiosity to go down the rabbit hole and discover. LLMs are just an incredible rubber duck but the discovery is still there.
We literally had a case where OpenAI may have stolen the dialectic from a mathematician using its product and then given it to a proprietary model burning tens of millions of dollars of tokens [1].
I think I disagree, if I had a puzzle on my desk and I told an LLM to explain how to solve it, I think I have robbed myself of the enjoyment of solving the puzzle. Is it really any different than googling a solution?
There are different avenues of "solving" something though. Asking an LLM to one shot something vs iterating on it collaboratively are different ways of achieve potentially different ends.
If the result is black and white, then yeah, its probably not super fruitful but if the end result is subjective, then there really no is objective "solve".
