Combinatorics · Mar 6, 2026
Erdős problem #1039
Partial result (Lean). Contribution type: AI collaborating with humans.
Contributors
Aristotle · Claude Opus 4.6 · Houi
AI systems: Aristotle, Claude Opus 4.6
Combinatorics · Mar 6, 2026
Aristotle · Claude Opus 4.6 · Houi
AI systems: Aristotle, Claude Opus 4.6