Theoretical computer science·OpenAI Math·Result 121·Lean formalisation listed

Almost-linear approximation of edit distance

One of the 372 results in OpenAI's public mathematics catalogue, filed under theoretical computer science: 1 preprint, the latest dated 24 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.

In one line: OpenAI reports a result titled ‘Almost-linear approximation of edit distance’ (theoretical computer science) in a preprint dated 24 September 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More, is on YouTube.

Compilation · 28:48 · 14 October 2026 · from 27:05Watch on YouTube →

Subscribe on YouTube

Chapter 79 of 83 in Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More · starts at 27:05 · watch from there on YouTube →

What OpenAI claims

For every fixed rational ε ∈ (0,1), gives a randomized (1+ε) approximation to unit-cost edit distance in worst-case expected time N1+o(1), with success probability at least 2/3. The strings have total length N and polynomially bounded integer symbols. This is an asymptotic guarantee at fixed accuracy. (Lean)

Paper

  1. An Almost-Linear Approximation Scheme for Edit Distance

    · Preprint, not peer reviewed · PDF

    OpenAI's abstract We give a uniform randomized approximation scheme for unit-cost edit distance. For every fixed rational ε ∈ (0,1), it estimates the distance between arbitrary explicitly stored strings of total length N within a factor 1+ε with probability at least 2/3, in worst-case expected time N1+o(1) on a logarithmic-word RAM. The algorithm supports polynomially bounded integer alphabets and returns zero deterministically on equal strings.

Status

Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.

Quick answers

Is it proven?
Not independently yet. OpenAI posted a preprint on 24 September 2026; it has not been peer reviewed, so treat the result as OpenAI's claim until other mathematicians have checked it.
What exactly does OpenAI claim?
For every fixed rational ε ∈ (0,1), gives a randomized (1+ε) approximation to unit-cost edit distance in worst-case expected time N1+o(1), with success probability at least 2/3. The strings have total length N and polynomially bounded integer symbols. This is an asymptotic guarantee at fixed accuracy. (Lean)
Where is the proof?
In the paper, An Almost-Linear Approximation Scheme for Edit Distance (PDF).
Is there a video?
Yes, on YouTube (28:48, chapter 79).

Also in

The video

Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More · Compilation · 28:48 · chapter 79 from 27:05 · description, sources and chapters →

Related results in Theoretical computer science

All 40 results in Theoretical computer science →