Combinatorics · May 4, 2026
Erdős problem #866
Partial result (Lean). Contribution type: AI collaborating with humans.
Contributors
Aristotle · GPT-5.3 Instant · Wouter van Doorn
AI systems: Aristotle, GPT-5.3 Instant
Combinatorics · May 4, 2026
Aristotle · GPT-5.3 Instant · Wouter van Doorn
AI systems: Aristotle, GPT-5.3 Instant