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