Combinatorics · May 2, 2026
Erdős problem #1194
Partial result (Lean). Contribution type: AI collaborating with humans.
Contributors
Codex · GPT-5.5 Pro · Lech Mazur
AI systems: Codex, GPT-5.5 Pro
Combinatorics · May 2, 2026
Codex · GPT-5.5 Pro · Lech Mazur
AI systems: Codex, GPT-5.5 Pro