Erdős Problem 75 — qed.bot Claims, announcements and changes recorded against Erdős Problem 75. https://qed.bot/feeds/s/erdos-75.xml 2026-04-12T00:00:00Z qed.bot Erdős Problem 75 — partial (GPT-5.4 Pro) urn:qed:570cc5e96a59 2026-04-12T00:00:00Z Partial result. Autonomy A2, evidence V1, fidelity F0. Erdős Problem 75 — partial (Aletheia) urn:qed:f9307bfea08d 2026-02-01T00:00:00Z Solution to variant problem (implicit in literature). Autonomy A3, evidence V1, fidelity F0.