Erdős Problem 390 — qed.bot Claims, announcements and changes recorded against Erdős Problem 390. https://qed.bot/feeds/s/erdos-390.xml 2026-05-02T00:00:00Z qed.bot Erdős Problem 390 — candidate (GPT-5.5 Pro) urn:qed:ffb35a03d91d 2026-05-02T00:00:00Z Candidate partial result. Autonomy A1, evidence V0, fidelity F0.