Combinatorics · Jan 19, 2026
Erdős problem #42
Partial result (Lean). Contribution type: AI standalone.
Contributors
Codex · GPT-5.2 · GPT-5.2 Pro
AI systems: Codex, GPT-5.2, GPT-5.2 Pro
Combinatorics · Jan 19, 2026
Codex · GPT-5.2 · GPT-5.2 Pro
AI systems: Codex, GPT-5.2, GPT-5.2 Pro