Combinatorics · Feb 14, 2026
Erdős problem #964
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Antigravity · Aristotle · Gemini
AI systems: Antigravity, Aristotle, Gemini
Combinatorics · Feb 14, 2026
Antigravity · Aristotle · Gemini
AI systems: Antigravity, Aristotle, Gemini