Combinatorics · Jun 19, 2026
Erdős problem #81
Partial result (Lean). Contribution type: AI collaborating with humans.
Contributors
Aristotle · GPT-5.5 Pro · Wouter van Doorn
AI systems: Aristotle, GPT-5.5 Pro
Combinatorics · Jun 19, 2026
Aristotle · GPT-5.5 Pro · Wouter van Doorn
AI systems: Aristotle, GPT-5.5 Pro