Erdős Problem 522 — qed.bot Claims, announcements and changes recorded against Erdős Problem 522. https://qed.bot/feeds/s/erdos-522.xml 2026-09-28T11:57:19Z qed.bot Formal status changed: Erdős Problem 522 urn:qed:change:formal-status:erdos:522:solved 2026-09-28T11:57:19Z The formal record now marks Erdős Problem 522 as solved, previously mixed. Fidelity regraded: Erdős Problem 522 urn:qed:change:fidelity:erdos:522:F2 2026-09-28T11:57:19Z The fidelity grade for Erdős Problem 522 moved from F0 to F2.