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