Combinatorics · May 20, 2026
Erdős problem #326
Full solution (Lean). Contribution type: AI collaborating with humans.
Contributors
Aristotle · Codex · GPT-5.5 · Aron Bhalla
AI systems: Aristotle, Codex, GPT-5.5
Combinatorics · May 20, 2026
Aristotle · Codex · GPT-5.5 · Aron Bhalla
AI systems: Aristotle, Codex, GPT-5.5