Erdős Problem 1084 — qed.bot Claims, announcements and changes recorded against Erdős Problem 1084. https://qed.bot/feeds/s/erdos-1084.xml 2026-09-30T14:34:16Z qed.bot Formal status changed: Erdős Problem 1084 urn:qed:change:formal-status:erdos:1084:solved 2026-09-30T14:34:16Z The formal record now marks Erdős Problem 1084 as solved, previously mixed. Erdős Problem 1084 — partial (GPT) urn:qed:c2f4ac27cd17 2026-01-21T00:00:00Z Partial results found. Autonomy A1, evidence V1, fidelity F2.