Combinatorics · Jan 14, 2026
Erdős problem #224
New proof found (Lean). Contribution type: AI building on literature.
Contributors
Codex · GPT-5.2 Thinking
AI systems: Codex, GPT-5.2 Thinking
Combinatorics · Jan 14, 2026
Codex · GPT-5.2 Thinking
AI systems: Codex, GPT-5.2 Thinking