Combinatorics · Apr 28, 2026
Erdős problem #514
Partial result (Lean) (solution to third part). Contribution type: AI collaborating with humans.
Contributors
GPT-5.5 Pro · Yuta Oriike
AI systems: GPT-5.5 Pro
Combinatorics · Apr 28, 2026
GPT-5.5 Pro · Yuta Oriike
AI systems: GPT-5.5 Pro