Combinatorics · Jan 10, 2026
Erdős problem #397
Full solution (Lean). Contribution type: AI alongside literature.
Contributors
Aristotle · GPT-5.2 Pro
AI systems: Aristotle, GPT-5.2 Pro
Combinatorics · Jan 10, 2026
Aristotle · GPT-5.2 Pro
AI systems: Aristotle, GPT-5.2 Pro