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.
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
An Almost-Linear Approximation Scheme for Edit Distance
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
- Chapter 10 of 10 in Unique Games Conjecture, Bin Packing and 8 More in Theoretical Computer Science · starts at 3:09 · watch from there on YouTube →
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
- 122Quantitative trace-reconstruction bounds with a uniform decoderVideoLean
- 124Polynomial-time scheduling on three identical machinesVideoLean
- 125The metric k-median approximation threshold and recoveryVideoLean
- 126Exponential semidefinite complexity of perfect matchingVideoLean
- 127Average sensitivity of polynomial threshold functionsVideoLean
- 128A factor-two approximation for shortest common superstringVideoLean