[somethingsome]

It's highly dependent of why you use it. For me a problem looks like 'a step in the proof I'm not familiar with', and I use LLMs to help me undersand it deeply. Make visualizations, check some difficult step, do parallels with something else I know,... I don't really care that the llm could 'solve the global problem I'm facing'. I use it more for insights on smaller parts to be able to go through difficult steps and teach me areas I'm not familiar with. The more the llm is capable of doing complicated proofs by itself, the more it is trustworthy to help me without making errors that I could miss in unknown Maths areas.