Combinatorics · Apr 21, 2026
Erdős problem #610
Full solution (Lean) (implicit in literature). Contribution type: AI collaborating with humans.
Contributors
Aristotle · GPT-5.4 Pro · Przemek Chojecki
AI systems: Aristotle, GPT-5.4 Pro
Combinatorics · Apr 21, 2026
Aristotle · GPT-5.4 Pro · Przemek Chojecki
AI systems: Aristotle, GPT-5.4 Pro