Combinatorics · Jan 28, 2026
Erdős problem #1067
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aleph Prover · Aristotle
AI systems: Aleph Prover, Aristotle
Combinatorics · Jan 28, 2026
Aleph Prover · Aristotle
AI systems: Aleph Prover, Aristotle