Combinatorics · Jun 22, 2026
Erdős problem #1054
Partial result (Lean). Contribution type: AI standalone.
Contributors
Claude Opus 4.8 · GPT-5.5 Pro · Principia Math
AI systems: Claude Opus 4.8, GPT-5.5 Pro, Principia Math
Combinatorics · Jun 22, 2026
Claude Opus 4.8 · GPT-5.5 Pro · Principia Math
AI systems: Claude Opus 4.8, GPT-5.5 Pro, Principia Math