Combinatorics · Feb 27, 2026
Erdős problem #1090
Proof found (Lean). Contribution type: AI building on literature.
Contributors
Aristotle · Gemini 3 Flash
AI systems: Aristotle, Gemini 3 Flash
Combinatorics · Feb 27, 2026
Aristotle · Gemini 3 Flash
AI systems: Aristotle, Gemini 3 Flash