AIProofWatch
← Explore interestsIndividual problem

AlphaDev: faster small sorting routines in LLVM libc++

DeepMind reports AI-discovered assembly sorting routines translated to C++ and incorporated in LLVM libc++.

Progress records 1

Understand the problem ↓

1 record · How we rate progress

Understanding the problem

Read the background

DeepMind reports AI-discovered assembly sorting routines translated to C++ and incorporated in LLVM libc++. Its tests report up to 70% improvement for length-five inputs and about 1.7% for inputs exceeding 250,000 elements.

Why it matters

A deployed improvement to a widely used algorithmic primitive has substantive reach despite being a constant-factor optimization.

What counts as progress

A sourced result with the exact hypotheses, baseline, and AI role stated; verification is assessed separately.

What to watch for

  • Compare the precise theorem and hypotheses with the previous baseline.
  • Read the checking scope and retain human and prior-work attribution.

Background review: 2026-10-11. Selected sources:

Website timeline

Publication dates and editorial changes.