新智元报道 过去的大模型优化基准，更多是在考「会不会建模、会不会调求解器」；FrontierOR 直接把模型推向真实 OR 论文里的工业级问题，考的是它能不能像算法工程师一样发现结构、设计算法，并在大实例上与 Gurobi baseline 进行比较。 过去两年，LLM 在「自然语言到数学模型」「自
新智元报道 过去的大模型优化基准，更多是在考「会不会建模、会不会调求解器」；FrontierOR 直接把模型推向真实 OR 论文里的工业级问题，考的是它能不能像算法工程师一样发现结构、设计算法，并在大实例上与 Gurobi baseline 进行比较。 过去两年，LLM 在「自然语言到数学模型」「自
By