openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Combinatorics · Feb 25, 2026

Erdős problem #846

DeepMind prover agent (2026). Contribution type: Rewriting.

Contributors

GPT-5.2 Thinking

AI systems: GPT-5.2 Thinking

Sources