AWESOME AI PROOFS
← Problems
Research / May 2026

Density of sums of integers with restricted base-3 and base-4 digits (Erdős #125)

The linked Lean file fixes the exact statement and variant.

Model / AI: AlphaProof Nexus

machine-checked
May 2026

Density of sums of integers with restricted base-3 and base-4 digits (Erdős #125)

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.