Combinatorics · Jan 28, 2026
Erdős problem #848
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · Claude · GPT-5.2
AI systems: Aristotle, Claude, GPT-5.2
Combinatorics · Jan 28, 2026
Aristotle · Claude · GPT-5.2
AI systems: Aristotle, Claude, GPT-5.2