Combinatorics · May 24, 2026
Erdős problem #71
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · Claude Opus 4.7 · GPT-5.5
AI systems: Aristotle, Claude Opus 4.7, GPT-5.5
Combinatorics · May 24, 2026
Aristotle · Claude Opus 4.7 · GPT-5.5
AI systems: Aristotle, Claude Opus 4.7, GPT-5.5