Combinatorics · Feb 21, 2026
Erdős problem #125
Solution to variant problem (Lean). Contribution type: AI standalone.
Contributors
DeepMind prover agent
AI systems: DeepMind prover agent
Combinatorics · Feb 21, 2026
DeepMind prover agent
AI systems: DeepMind prover agent