Conjectures and open questions arising from integer sequences catalogued by the OEIS.
This collection currently connects to a formal proof-search campaign; individual sequence claims should become separate problem records only after statement-level review.
A complete attempt outcome does not automatically change the editorial status of the underlying problem.
01
May 21, 2026 · campaignAlphaProof Nexus searches open Erdős and OEIS problems
A Lean-guided campaign reported nine Erdős results and 44 OEIS conjecture proofs, while also documenting failure modes such as restating the hard step behind a new unproved lemma.