Combinatorics · May 9, 2026
Erdős problem #263
Partial result (Lean) (solution to second part). Contribution type: AI standalone.
Contributors
Aristotle · Claude Opus 4.7 · GPT-5.5 Pro
AI systems: Aristotle, Claude Opus 4.7, GPT-5.5 Pro
Combinatorics · May 9, 2026
Aristotle · Claude Opus 4.7 · GPT-5.5 Pro
AI systems: Aristotle, Claude Opus 4.7, GPT-5.5 Pro