I've seen this floated as a response to the current anxieties over LLMs in math. Namely in applied math, LLMs being good at pure math may actually allow the imp

I've seen this floated as a response to the current anxieties over LLMs in math. Namely in applied math, LLMs being good at pure math may actually allow the import of pure math techniques. Unclear if that will pan out, but it's interesting to consider.