Combinatorics · Jan 28, 2026
Erdős problem #1048
Proof found (Lean), which is a specific case of Pommerenke. Contribution type: AI building on literature.
Contributors
Aristotle
AI systems: Aristotle
Combinatorics · Jan 28, 2026
Aristotle
AI systems: Aristotle