Erdős Problem 396

Erdős Problem 396 — qed.bot Claims, announcements and changes recorded against Erdős Problem 396. https://qed.bot/feeds/s/erdos-396.xml 2026-04-07T00:00:00Z qed.bot Erdős Problem 396 — partial (GPT-5.4 Pro, GPT-5.4 Thinking) urn:qed:4e0cb9124e22 2026-04-07T00:00:00Z

Related result. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 396 — unstated (Claude Opus 4.6, Gemini 3.1 Deep Think, GPT-5.4 Pro) urn:qed:6e92b83685b9 2026-04-04T00:00:00Z

unstated. Autonomy A1, evidence V0, fidelity F0.

Erdős Problem 396 — partial (Claude, Codex, GPT) urn:qed:fe178f970419 2026-03-15T00:00:00Z

Partial result. Autonomy A1, evidence V1, fidelity F0.