Number theory·OpenAI Math·Result 013·Lean formalisation listed
Ostmann’s inverse Goldbach conjecture
One of the 372 results in OpenAI's public mathematics catalogue, filed under number theory: 1 preprint, the latest dated 24 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and will embed the animation.
Animation scheduled
Ostmann's Inverse Goldbach Conjecture: The Primes Aren't A + B
The Short is uploaded and will appear here once it is public. Its YouTube link works from then.
What OpenAI claims
Proves that no finite modification of the primes can be written as A+B with A,B ⊆ ℤ≥ 0 each containing at least two elements. This resolves Ostmann's inverse Goldbach conjecture on additive indecomposability. (Lean)
Paper
The additive indecomposability of the primes
We prove Ostmann's inverse Goldbach conjecture: no set differing from the primes by finitely many elements can be written as A+B, where A and B are sets of nonnegative integers with at least two elements each.
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.
Related results in Number theory
- 014Restricted geometric Langlands, global Arthur enhancements, and generic RamanujanVideo
- 015Torus-packet equidistribution in prime, quartic, and sextic degreesLean
- 016Zilber–Pink in abelian varieties and the Siegel threefold
- 017The irrationality exponent of π is 2Lean
- 018The Margulis–Platonov conjecture over global fields
- 019The local p-adic section conjecture and global consequences
