Combinatorics · Mar 31, 2026
Erdős problem #741
Partial result (Lean) (solution to variant of first part; solution to second part). Contribution type: AI standalone.
Contributors
DeepMind prover agent
AI systems: DeepMind prover agent
Combinatorics · Mar 31, 2026
DeepMind prover agent
AI systems: DeepMind prover agent