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