Erdős Problem 102 — qed.bot Claims, announcements and changes recorded against Erdős Problem 102. https://qed.bot/feeds/s/erdos-102.xml 2026-09-28T11:57:19Z qed.bot Formal status changed: Erdős Problem 102 urn:qed:change:formal-status:erdos:102:mixed 2026-09-28T11:57:19Z The formal record now marks Erdős Problem 102 as mixed, previously unclassified.