Erdős Problem 1150 — qed.bot Claims, announcements and changes recorded against Erdős Problem 1150. https://qed.bot/feeds/s/erdos-1150.xml 2026-02-04T00:00:00Z qed.bot Erdős Problem 1150 — partial (Gemini Deep Research) urn:qed:7efd3ce9bc87 2026-02-04T00:00:00Z Claimed solution found (likely incorrect). Autonomy A1, evidence V1, fidelity F0.