Erdős Problem 346 — qed.bot Claims, announcements and changes recorded against Erdős Problem 346. https://qed.bot/feeds/s/erdos-346.xml 2026-06-21T00:00:00Z qed.bot Erdős Problem 346 — full (Codex, GPT) urn:qed:51a915ecd033 2026-06-21T00:00:00Z Full solution (Lean). Autonomy A1, evidence V3, fidelity F1. Erdős Problem 346 — partial (Codex, GPT-5.5 Pro) urn:qed:8c3caff2bf2e 2026-06-19T00:00:00Z Solution to variant problem (Lean). Autonomy A3, evidence V3, fidelity F1.