AWESOME AI PROOFS
← Problems
Research / May 2026

Growing gaps between van der Waerden numbers (Erdős #138)

The linked Lean file fixes the exact statement and variant.

Model / AI: AlphaProof Nexus

machine-checked
May 2026

Growing gaps between van der Waerden numbers (Erdős #138)

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.