Combinatorics · Apr 26, 2026
Erdős problem #696
Full solution (Lean). Contribution type: AI collaborating with humans.
Contributors
Aristotle · Claude Code · Claude Opus 4.7 · GPT-5.5 Pro · Jake Mallen · David Turturean
AI systems: Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro