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