Combinatorics · Feb 17, 2026
Erdős problem #93
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · Claude Opus 4.5 · Claude Opus 4.6 · Gemini 3 Flash · Gemini 3 Pro · Numina Lean Agent
AI systems: Aristotle, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro, Numina Lean Agent