AWESOME AI PROOFS
← Problems
Research / May 2026

Splitting additive bases into sumsets with bounded gaps (Erdős #741)

The linked Lean file fixes the exact statement and variant.

Model / AI: AlphaProof Nexus

machine-checked
May 2026

Splitting additive bases into sumsets with bounded gaps (Erdős #741)

Model / AI: AlphaProof Nexus

machine-checked

AlphaProof Nexus supplies a formal proof for this statement.

Source read 2026-09-08. Read the linked source to identify this individual result and its attribution; proofs were not independently checked.