Combinatorics · Jan 10, 2026
Erdős problem #401
Full solution (Lean); solution to variant problem. Contribution type: AI collaborating with humans.
Contributors
Aristotle · GPT-5.2 Pro · Boris Alexeev, Kevin Barreto, Liam Price +1
AI systems: Aristotle, GPT-5.2 Pro