Mathematical physics·OpenAI Math·Result 276·Lean formalisation listed

Classical capacity of generalized amplitude damping

One of the 372 results in OpenAI's public mathematics catalogue, filed under mathematical physics: 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 ‘Classical capacity of generalized amplitude damping’ (mathematical physics) in a preprint dated 24 September 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 4 of 4: L = BPL, Integer Multiplication and 82 More, is on YouTube.

Compilation · 29:10 · 14 October 2026 · from 19:49Watch on YouTube →

Subscribe on YouTube

Chapter 58 of 84 in Every OpenAI Math Result, Part 4 of 4: L = BPL, Integer Multiplication and 82 More · starts at 19:49 · watch from there on YouTube →

What OpenAI claims

Determines the unassisted classical capacity of every qubit generalized amplitude-damping channel, including all damping and thermal parameters. An explicit one-variable optimization gives the capacity, attained by independent two-state signal ensembles with collective decoding. Holevo capacity, minimum output entropy and regularized classical capacity are additive when tensoring with any finite-dimensional quantum channel. (Lean)

Paper

  1. Classical capacity and entropy inequalities for generalized amplitude damping

    · Preprint, not peer reviewed · PDF

    OpenAI's abstract We determine the unassisted classical capacity of every qubit generalized amplitude-damping channel, for all damping strengths and thermal occupations. It equals the one-shot Holevo capacity and is given by a one-variable maximum. A binary pure-state ensemble attains the one-use optimum, and its independent products attain the optimum at every block length. We also prove that one-shot Holevo capacity, minimum output entropy, and regularized unassisted classical capacity are additive under tensor product with every finite-dimensional completely positive trace-preserving partner channel.

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?
Determines the unassisted classical capacity of every qubit generalized amplitude-damping channel, including all damping and thermal parameters. An explicit one-variable optimization gives the capacity, attained by independent two-state signal ensembles with collective decoding. Holevo capacity, minimum output entropy and regularized classical capacity are additive when tensoring with any finite-dimensional quantum channel. (Lean)
Is there a video?
Yes, on YouTube (29:10, chapter 58).

Also in

The video

Every OpenAI Math Result, Part 4 of 4: L = BPL, Integer Multiplication and 82 More · Compilation · 29:10 · chapter 58 from 19:49 · description, sources and chapters →

Related results in Mathematical physics

All 25 results in Mathematical physics →