Combinatorics · Jun 23, 2026
Erdős problem #21
Partial result (Lean). Contribution type: AI collaborating with humans.
Contributors
Aristotle · GPT-5.5 Pro · Varun Sivashankar
AI systems: Aristotle, GPT-5.5 Pro
Combinatorics · Jun 23, 2026
Aristotle · GPT-5.5 Pro · Varun Sivashankar
AI systems: Aristotle, GPT-5.5 Pro