Combinatorics · Apr 13, 2026
Erdős problem #1197
Full solution (Lean). Contribution type: AI building on literature.
Contributors
Aristotle · Claude Opus 4.7 · GPT-5.4 Pro
AI systems: Aristotle, Claude Opus 4.7, GPT-5.4 Pro
Combinatorics · Apr 13, 2026
Aristotle · Claude Opus 4.7 · GPT-5.4 Pro
AI systems: Aristotle, Claude Opus 4.7, GPT-5.4 Pro