Erdős Problem 848

Erdős Problem 848 — qed.bot Claims, announcements and changes recorded against Erdős Problem 848. https://qed.bot/feeds/s/erdos-848.xml 2026-03-23T00:00:00Z qed.bot Erdős Problem 848 — full (Gemini 3.1 Pro, GPT-5.2 Thinking, GPT-5.4 Thinking) urn:qed:7b0b360e9f4d 2026-03-23T00:00:00Z

Derived explicit bound; Partial result of variant problem. Autonomy A2, evidence V1, fidelity F2.

Erdős Problem 848 — incorrect (Claude Opus 4.6, GPT-5.4) urn:qed:ab3a23992723 2026-03-15T00:00:00Z

Incorrect proof found. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 848 — full (Aristotle, Claude, GPT-5.2) urn:qed:5f503991bef3 2026-01-28T00:00:00Z

Sawhney (2025). Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 848 — full (GPT-5) urn:qed:3f6cc3e0fb95 2025-11-20T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F2.