Combinatorics · Feb 8, 2026
Erdős problem #762
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · Claude Opus 4.7 · GPT
AI systems: Aristotle, Claude Opus 4.7, GPT
Combinatorics · Feb 8, 2026
Aristotle · Claude Opus 4.7 · GPT
AI systems: Aristotle, Claude Opus 4.7, GPT