Instead of formal proofs, it's more about making subjective evaluations and leaving readers with inferences to ponder for themselves, all based on certain mutually accepted axioms.
Cannot the LLM be seen as a ghostwriter? Have been used by the ones with limited time the resources for a long time. Now we all are in that situation.
Completely agree. Using LLM writing can create dependency and make people increasingly reluctant to think.