Combinatorics · Apr 26, 2026
Erdős problem #451
Partial result (Lean). Contribution type: AI collaborating with humans.
Contributors
Aristotle · GPT-5.5 Pro · Wouter van Doorn · Quanyu Tang
AI systems: Aristotle, GPT-5.5 Pro
Combinatorics · Apr 26, 2026
Aristotle · GPT-5.5 Pro · Wouter van Doorn · Quanyu Tang
AI systems: Aristotle, GPT-5.5 Pro