Combinatorics · Feb 14, 2026
Erdős problem #1082
Counterexample to one part (Lean). Contribution type: AI alongside literature.
Contributors
DeepMind prover agent
AI systems: DeepMind prover agent
Combinatorics · Feb 14, 2026
DeepMind prover agent
AI systems: DeepMind prover agent