Combinatorics · Apr 15, 2026
Erdős problem #1209
Partial result (Lean). Contribution type: AI collaborating with humans.
Contributors
GPT-5.4 Pro · Enrique Barschkis
AI systems: GPT-5.4 Pro
Combinatorics · Apr 15, 2026
GPT-5.4 Pro · Enrique Barschkis
AI systems: GPT-5.4 Pro