Combinatorics · Jun 17, 2026
Erdős problem #306
Partial result (Lean). Contribution type: AI collaborating with humans.
Contributors
Claude · Claude Code · Shisheng Li
AI systems: Claude, Claude Code
Combinatorics · Jun 17, 2026
Claude · Claude Code · Shisheng Li
AI systems: Claude, Claude Code