近期，arxiv 上陆续出现了大模型自动优化约束求解器的论文，一个是当下热门的 AI 方向，一个是比较传统的算 ¥