Erdős Problem 513 — qed.bot Claims, announcements and changes recorded against Erdős Problem 513. https://qed.bot/feeds/s/erdos-513.xml 2026-03-01T00:00:00Z qed.bot Erdős Problem 513 — partial (GPT-5.2 Thinking) urn:qed:cd265c881578 2026-03-01T00:00:00Z Slight improvement to past construction. Autonomy A2, evidence V1, fidelity F0. Erdős Problem 513 — unstated (GPT-5.2 Pro) urn:qed:eead072f4cdf 2026-02-12T00:00:00Z unstated. Autonomy A1, evidence V0, fidelity F0.