Combinatorics · Jan 30, 2026
Erdős problem #355
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · Gemini 3
AI systems: Aristotle, Gemini 3
Combinatorics · Jan 30, 2026
Aristotle · Gemini 3
AI systems: Aristotle, Gemini 3