Erdős Problem 67 — qed.bot Claims, announcements and changes recorded against Erdős Problem 67. https://qed.bot/feeds/s/erdos-67.xml 2026-09-29T01:40:08Z qed.bot Machine-checked: Erdős Problem 67 urn:qed:change:verified:erdos:67:Palomar 2026-09-29T01:40:08Z Erdős Problem 67 is now machine-checked, by Palomar. Fidelity regraded: Erdős Problem 67 urn:qed:change:fidelity:erdos:67:F2 2026-09-29T01:40:08Z The fidelity grade for Erdős Problem 67 moved from F0 to F2. Palomar registration: Erdős Problem 67 urn:qed:change:registration:PALOMAR-2026-09-29-000002:erdos:67 2026-09-29T01:40:08Z Palomar registered a rebuild of Erdős Problem 67, attached here as a check.