Combinatorics · Feb 24, 2026
Erdős problem #434
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · Claude Opus 4.8
AI systems: Aristotle, Claude Opus 4.8
Combinatorics · Feb 24, 2026
Aristotle · Claude Opus 4.8
AI systems: Aristotle, Claude Opus 4.8