Erdős Problem 986 — qed.bot Claims, announcements and changes recorded against Erdős Problem 986. https://qed.bot/feeds/s/erdos-986.xml 2026-06-16T00:00:00Z qed.bot Erdős Problem 986 — full (Claude, OpenAI internal model) urn:qed:4cb62d1bc8be 2026-06-16T00:00:00Z Full solution. Autonomy A1, evidence V1, fidelity F2. Erdős Problem 986 — partial (Trellis) urn:qed:413f06cefa6d 2026-06-10T00:00:00Z Bradač (2026). Autonomy A1, evidence V1, fidelity F2.