On LLMs in research/theory/math. I feel like the difference between how people value this is simple. If you find the value is in the outcome (the theorem), then LLMs are awesome. if you find the value is in the journey (the way to find the proof), then LLMs ruin it.