Combinatorics · Jun 19, 2026
Erdős problem #346
Solution to variant problem (Lean). Contribution type: AI alongside literature.
Contributors
Codex · GPT-5.5 Pro
AI systems: Codex, GPT-5.5 Pro
Combinatorics · Jun 19, 2026
Codex · GPT-5.5 Pro
AI systems: Codex, GPT-5.5 Pro