Partitions into distinct non-squarefree integers beyond 23 (OEIS A256012)

Partitions into distinct non-squarefree integers beyond 23 (OEIS A256012)

Model / AI: AlphaProof Nexus

AlphaProof Nexus publishes a Lean artifact for this conjecture.

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

• Paper — AlphaProof Nexus
• Lean — Statement and proof
• Context — Sequence