Combinatorics · Jan 5, 2026
Erdős problem #871
Existing partial result upgraded to full solution (Lean). Contribution type: AI building on literature.
Contributors
Claude Opus 4.5 · Gemini 3 Pro
AI systems: Claude Opus 4.5, Gemini 3 Pro
Combinatorics · Jan 5, 2026
Claude Opus 4.5 · Gemini 3 Pro
AI systems: Claude Opus 4.5, Gemini 3 Pro