Combinatorics · Apr 7, 2026
Erdős problem #905
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · GPT-5.4
AI systems: Aristotle, GPT-5.4
Combinatorics · Apr 7, 2026
Aristotle · GPT-5.4
AI systems: Aristotle, GPT-5.4