Combinatorics · Apr 7, 2026
Erdős problem #12
Partial result (Lean) (solutions to first part and second part). Contribution type: AI building on literature.
Contributors
DeepMind prover agent
AI systems: DeepMind prover agent
Combinatorics · Apr 7, 2026
DeepMind prover agent
AI systems: DeepMind prover agent