openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Combinatorics · Mar 14, 2026

Erdős problem #120

Solution to variant problem (Lean). Contribution type: AI alongside literature.

Contributors

DeepMind prover agent

AI systems: DeepMind prover agent

Sources