Combinatorics · May 17, 2026
Erdős problem #490
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · GPT-5.5 Pro
AI systems: Aristotle, GPT-5.5 Pro
Combinatorics · May 17, 2026
Aristotle · GPT-5.5 Pro
AI systems: Aristotle, GPT-5.5 Pro