Combinatorics · Jan 12, 2026
Erdős problem #679
Improved proof by reducing dependence on prime number theorem. Contribution type: AI building on literature.
Contributors
Aristotle
AI systems: Aristotle
Combinatorics · Jan 12, 2026
Aristotle
AI systems: Aristotle