Combinatorics · Apr 6, 2026
Erdős problem #26
Solution to stronger problem. Contribution type: AI building on literature.
Contributors
DeepMind prover agent
AI systems: DeepMind prover agent
Combinatorics · Apr 6, 2026
DeepMind prover agent
AI systems: DeepMind prover agent