AIProofWatch
← Archive

OpenAI reports: Ostmann’s inverse Goldbach conjecture

OpenAI reports that no set differing from the positive primes at finitely many integers is a sumset A+B of two nonnegative-integer sets that each contain at least two elements.

Sources for this record

What was already known

A decomposition into two nontrivial summand sets would describe the eventual prime set additively. The inverse Goldbach question asks whether such a decomposition can exist.

What changed and why it matters

Resolves the stated asymptotic additive-indecomposability question for the primes.

The AI contribution

OpenAI attributes these manuscripts to its internal model. The entry does not infer individual human contributions beyond that publisher attribution.

Limitations

The statement permits only finitely many changes to the prime set. It is distinct from the usual Goldbach conjecture about expressing even integers as sums of primes. Preprint. This is a source-statement and significance assessment, not a proof audit. No independent checking or successful formal compilation is asserted by this entry.

Verification evidence

Evidence labels show what supports the claim. Importance rates its impact if correct.

Author claim

The publisher reports the scoped result. AIProofWatch has not independently validated its correctness.

Accessible artifact / proof

The original written argument is accessible. Availability does not establish a successful proof check or Lean verification.

Correction and publication history

2026-10-11 · publication

Historical report added after statement, scope, and importance review. No proof audit or formal checking asserted; subscriber alerts disabled.

Read this published revision