david_reinstein comments on Enhancing Mathematical Modeling with LLMs: Goals, Challenges, and Evaluations