Combinatorics · Mar 3, 2026
Erdős problem #115
Formalization of an existing proof. Contribution type: Formalization.
Contributors
Aristotle · Claude Opus 4.6 · Claude Sonnet 4.6 · Gemini 3 Flash · Gemini 3.1 Pro · ulam.ai scaffold with Gemini 3 Flash and Gemini 3.1 Pro
AI systems: Aristotle, Claude Opus 4.6, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, ulam.ai scaffold with Gemini 3 Flash and Gemini 3.1 Pro