The Commonplace
Home Papers Evidence Explore Trends Syntheses Digests References Docs 🎲 Workforce Futures
← Papers
Direction, evidence grade, and study type are AI-generated labels (gpt-5-mini), not human-verified. Syntheses are LLM-written. "Tensions" are machine-detected candidates, not confirmed contradictions. A research-acceleration tool, not peer review. How this is built →

Frontier LLMs can already write competitive operations-research algorithms: with one untuned prompt and modest sandboxed compute, the top model matches or beats the best-known methods on most benchmark instances — though results are limited to well-specified problems and may partly reflect the models' training data.

LLMs Can Design Near-Optimal OR Algorithms
Jackie Baek · August 27, 2026
arxiv descriptive high evidence 8/10 relevance Full text usable extracted full text Source PDF

Structured author observations

Linked only from stored provider relations; the raw author line above is never matched by name.

Arxiv

Latest observation:

  1. Jackie Baek unresolved corpus identity

Semantic Scholar

Latest observation:

  1. Jackie Baek provider ID
A single untuned query to frontier LLMs (best: gpt-5.6-sol) can produce instance solutions or reusable algorithms that match or outperform state-of-the-art methods on canonical inventory, queueing, and assortment benchmarks.

Citation observations

Cumulative provider counts captured on specific dates; providers are never combined.

We ask whether large language models (LLMs) can design effective algorithms for well-specified operations research (OR) problems. We study inventory control, queueing network control, and assortment optimization. We evaluate two levels of LLM use: at level 1, the model receives one problem instance and returns a solution for that instance; at level 2, it receives only the problem class description and broad parameter ranges, and returns an algorithm that maps instance parameters to solutions. Human input is minimal: we give one untuned prompt that describes the problem, and the model has access to a Python sandbox tool with a fixed compute budget. The strongest model we test, gpt-5.6-sol, matches or outperforms the best existing method on almost all evaluated instances. This holds even at level 2, where the returned algorithm is fixed before seeing the evaluation instances. Performance also improves sharply across models released less than eight months apart, suggesting that this capability is moving quickly. Thus, for the well-specified operations problems we study, a single untuned LLM query can already produce algorithms competitive with specialized methods. These results suggest that frontier LLMs can be a serious empirical baseline for algorithm design in well-specified OR problems.

Summary

Main Finding

A single untuned query to a frontier LLM (gpt-5.6-sol) can produce executable algorithms that match or outperform the best existing methods on canonical, well-specified operations-research (OR) benchmarks. This holds both when the LLM solves individual instances (level 1) and when it is asked to return a reusable algorithm for an entire problem class (level 2). The LLM’s outputs are often inspectable algorithms that reproduce known OR ideas and, in many cases, improve on tuned heuristics or learned policies.

Key Points

  • Two query granularities:
    • Level 1: LLM receives a fully specified instance and returns a solution for that instance (one-query per instance).
    • Level 2: LLM receives a problem-class description and parameter ranges, and returns an algorithm mapping instance parameters → solutions; that algorithm is fixed before evaluation and must produce instance-specific outputs within 30s.
  • Domains tested: inventory control, queueing network control, assortment optimization.
  • Models evaluated: gpt-5.1, gpt-5.4, gpt-5.6-sol (OpenAI) and claude-fable-5 (Anthropic). Performance improved substantially across these releases (released within an 8-month window), indicating rapid capability gains.
  • gpt-5.6-sol results (high level):
    • Matches or beats the best existing method on nearly every evaluated instance across the ten problem classes studied.
    • Mean performance no worse than the best existing method in 8 of 10 classes at both levels.
    • Level-2 (reusable algorithm) often nearly as good as per-instance level-1 outputs.
    • Main exception: nested-logit assortment where mean revenue was ~1.2% lower than the best comparator on a tail of hard instances.
  • Generated algorithms are interpretable and use familiar OR constructs (e.g., capped base-stock variants, projected inventory statistics, dynamic programming on small state spaces, pressure-based queueing rules, greedy + relaxation + local improvement for assortments).
  • All prompts, code, and run records are publicly available for reproducibility.

Data & Methods

  • Benchmarks and instance counts:
    • Inventory: 34 instances from Gijsbrechts et al. (2022) covering lost-sales (deterministic & stochastic lead time), dual sourcing, and multi-echelon distribution.
    • Queueing: 13 multiclass queueing-network instances from Dai & Gluzman (2022) (criss-cross, N-model, extended six-class reentrant-line).
    • Assortment: 3,393 instances from Guo et al. (2025) covering mixed-MNL (MMNL), nested-logit (hard regime), and constrained mixed-MNL.
    • Note: Level-1 evaluation used stratified subsets for large assortment classes (e.g., 72 MMNL, 48 nested-logit, 36 constrained MMNL).
  • LLM usage and protocol:
    • Single untuned prompt per task class (no prompt tuning, minimal human intervention).
    • LLMs had access to a Python sandbox with a fixed compute budget; level-2 algorithms were allowed up to 30s per instance to produce a solution.
    • Comparison baselines: best-performing methods reported in the source benchmark papers, including exact dynamic programming (where tractable), tuned heuristics, conic MIP, and per-instance trained RL controllers.
  • Evaluation metrics:
    • Inventory & queueing: relative cost reduction (percent) vs best existing method.
    • Assortment: relative revenue gain (percent) vs best existing method.
    • "No worse" metric: % of instances where LLM is within 0.1% of or better than the comparator.
  • Representative quantitative highlights from the strongest model (gpt-5.6-sol):
    • Multi-echelon inventory: large mean cost improvement (e.g., +22.78% on a tiny class of 2 instances reported in table).
    • Deterministic lost-sales: median costs close to or better than benchmarks; other inventory classes also showed consistent improvement or parity.
    • Queueing: matches DP optimum on criss-cross, within ~0.2% of optimal on N-model, beats per-instance PPO on many reentrant-line instances.
    • Assortment: matches optimum on MMNL and constrained MMNL classes; nested-logit class shows ~1.2% mean revenue deficit on hard tail.
  • Robustness and checks:
    • Authors acknowledge potential dataset contamination (model may have seen benchmark material). They partially address this by testing level-2 algorithms on out-of-benchmark parameter regimes and generated instances.
    • No theoretical approximation guarantees provided; results are empirical and limited to the three OR domains tested.

Implications for AI Economics

  • Productivity and task specialization:
    • Algorithm-design costs for well-specified OR problems can drop sharply if LLMs reliably generate competitive algorithms with minimal human tuning. This could shift labor from manual algorithm engineering toward specification, validation, and deployment.
    • Lower marginal cost of algorithm prototyping may accelerate empirical experimentation and make custom algorithm development accessible to smaller firms or teams without deep OR expertise.
  • Research and baseline dynamics:
    • Frontier LLMs may become standard empirical baselines in OR and operations economics, forcing researchers to benchmark against LLM-generated algorithms and to report robustness beyond benchmark families.
    • Rapid model improvement implies moving targets for baselines; reproducible benchmarking and archived model outputs will be important.
  • Markets and comparative advantage:
    • Commercial services (consulting, software) that provide tailored algorithms might face competition from LLM-assisted automated algorithm design, altering pricing and labor demand in OR-intensive industries.
    • Conversely, firms that integrate LLMs with domain expertise (for validation, safety, regulatory compliance, and deployment) may capture new value-added roles.
  • Risks and policy considerations:
    • Overreliance on LLM-generated algorithms raises robustness, safety, and auditability concerns—especially if models have seen proprietary training data (contamination) or fail out-of-distribution.
    • No formal guarantees: economic applications with high-stakes outcomes will still need expert validation, stress-testing, and possibly regulatory oversight.
    • Need for standards: shared benchmarks, transparency about model training data, and protocols for robustness testing should accompany adoption in economically significant settings.
  • Research directions for AI economics:
    • Quantify economic gains from reduced algorithm-design costs across sectors (sensitivity to domain specificity and data availability).
    • Study labor-market impacts on OR researchers, algorithm engineers, and consulting markets.
    • Evaluate LLM generalization to problem classes without rich prior literatures (tests the limits of implicit literature-derived performance).
    • Develop frameworks for combining LLMs with domain constraints, formal verification, and human-in-the-loop validation to manage risk while capturing productivity benefits.

Assessment

Paper Typedescriptive Evidence Strengthhigh — Comprehensive empirical evaluation on established benchmark instance families (inventory: 34 instances across multiple classes; queueing: 13 instances; assortment: 3,393 instances), comparison instance-by-instance to the best-reported methods (including exact optima where available), multiple LLMs tested, and all code/run records published; however, results are limited to three OR domains and are subject to possible training-data contamination by the LLMs. Methods Rigorhigh — Careful, reproducible experimental protocol: clear level-1/level-2 definitions, broad and hard benchmarks drawn from the literature, per-instance comparisons against best-known methods (including DP and tuned baselines), multiple model versions, and public release of prompts and run logs; limitations include lack of formal robustness/guarantee proofs, potential model training contamination, and limited domain breadth. SampleBenchmarks from prior OR literature: inventory control (34 instances across lost-sales deterministic lead time (n=19), lost-sales stochastic lead time (n=7), dual sourcing (n=6), multi-echelon distribution (n=2)); queueing network control (13 instances: criss-cross, N-model, extended six-class reentrant-line networks); assortment optimization (3,393 instances: MMNL 628, nested-logit 971, constrained MMNL 1,794). Four LLMs evaluated (gpt-5.1, gpt-5.4, gpt-5.6-sol, claude-fable-5) under a one-query protocol with access to a Python sandbox and fixed compute budget; comparisons are made to the best-performing methods reported in the source benchmark papers including exact solvers, tuned baselines, and per-instance RL policies. Level-1: one query per instance; Level-2: one algorithm generated per problem class evaluated across all instances. Themeshuman_ai_collab productivity innovation GeneralizabilityPossible contamination: LLMs may have seen benchmark instances, solutions, or related literature during training, which could inflate performance., Limited to three well-specified OR domains and the specific benchmark families; may not generalize to less-structured or real-world messy problems., Performance depends on frontier, proprietary LLMs and their tool access (Python sandbox); smaller or offline models may not replicate results., Level-2 success depends on how problem classes are defined; too-broad classes produce generic, weaker algorithms., No formal approximation or robustness guarantees; behavior outside tested parameter ranges is uncertain.

Claims (11)

ClaimDirectionOutcomeConfidence & EvidenceDetails
gpt-5.6-sol matches or outperforms the best existing method on nearly every evaluated instance across the ten inventory, queueing, and assortment problem classes. Firm Productivity positive Relative inventory and queueing cost, and assortment revenue, compared with the best existing method.
Reading fidelity high
Study strength high
n=3440
0.3
At both level 1 and level 2, gpt-5.6-sol has mean performance no worse than the best existing method in eight of the ten evaluated problem classes. Firm Productivity positive Mean relative cost reduction for inventory and queueing, or mean revenue gain for assortment optimization.
Reading fidelity high
Study strength high
n=3440
8 of 10 classes at both levels
0.3
For deterministic lost-sales inventory control, gpt-5.6-sol reduces mean cost relative to the best existing method by 1.32% at level 1 and 1.27% at level 2. Firm Productivity positive Mean relative inventory cost reduction compared with the best existing method.
Reading fidelity high
Study strength high
n=19
+1.32% at level 1; +1.27% at level 2
0.3
For multi-echelon inventory distribution, gpt-5.6-sol reduces mean cost relative to the best existing method by 22.78% at level 1 and 11.21% at level 2. Firm Productivity positive Mean relative inventory cost reduction compared with the tuned constant-order-up-to benchmark.
Reading fidelity high
Study strength medium
n=2
+22.78% at level 1; +11.21% at level 2
0.18
In queueing control, gpt-5.6-sol matches the dynamic-programming optimum on the six criss-cross network instances and is within 0.2% of optimal on the N-model instance. Firm Productivity positive Queueing control cost relative to the exact dynamic-programming optimum.
Reading fidelity high
Study strength high
n=7
within 0.2% of optimal on the N-model
0.3
For extended six-class reentrant-line queueing networks, gpt-5.6-sol reduces mean cost relative to the per-instance PPO comparator by 5.50% at level 1 and 5.00% at level 2. Firm Productivity positive Mean relative queueing cost reduction compared with per-instance PPO.
Reading fidelity high
Study strength medium
n=6
+5.50% at level 1; +5.00% at level 2
0.18
In mixed-MNL assortment optimization, gpt-5.6-sol matches the optimum on all evaluated instances at both level 1 and level 2. Firm Productivity positive Assortment revenue relative to the exact optimum.
Reading fidelity high
Study strength high
n=628
0.00% mean revenue gap; 100% no worse
0.3
Nested-logit assortment optimization is the main exception: gpt-5.6-sol has mean revenue 1.2% lower than the best existing method, although it matches the near-optimal benchmark on approximately 87% of instances. Firm Productivity negative Assortment revenue relative to the best existing nested-logit method.
Reading fidelity high
Study strength high
n=971
-1.27% at level 1; -1.24% at level 2; approximately 87% no worse
0.3
Level-2 LLM algorithms often perform nearly as well as level-1, instance-specific solutions despite being generated from only a problem-class description and broad parameter ranges. Organizational Efficiency positive Relative cost or revenue performance of reusable class-level algorithms.
Reading fidelity high
Study strength medium
n=3440
0.18
Performance differs substantially across the four evaluated LLMs, with newer and stronger models generally performing better, especially at level 2. Firm Productivity positive LLM-generated policy cost relative to the best existing inventory benchmark.
Reading fidelity high
Study strength medium
not reported
0.18
The study does not establish approximation guarantees or robustness of LLM-generated algorithms outside the tested instance families. Other null_result Theoretical approximation guarantees and generalization robustness beyond the evaluated benchmark families.
Reading fidelity high
Study strength high
n=3440
0.3

Notes