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