Combinatorics · Feb 25, 2026
Erdős problem #16
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Antigravity · Gemini 3.1 Pro
AI systems: Antigravity, Gemini 3.1 Pro
Combinatorics · Feb 25, 2026
Antigravity · Gemini 3.1 Pro
AI systems: Antigravity, Gemini 3.1 Pro