Combinatorics · Jan 10, 2026
Erdős problem #205
Full solution (Lean). Contribution type: AI standalone.
Contributors
Aristotle · GPT-5.2 Thinking
AI systems: Aristotle, GPT-5.2 Thinking
Combinatorics · Jan 10, 2026
Aristotle · GPT-5.2 Thinking
AI systems: Aristotle, GPT-5.2 Thinking