Erdős Problem 1190 — qed.bot Claims, announcements and changes recorded against Erdős Problem 1190. https://qed.bot/feeds/s/erdos-1190.xml 2026-05-14T00:00:00Z qed.bot Erdős Problem 1190 — full (Unspecified) urn:qed:672d2f6884ab 2026-05-14T00:00:00Z Boon Suan Ho and GPT-5.4 Pro (2026). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 1190 — candidate (GPT-5.5 Pro) urn:qed:3b8913ede014 2026-04-30T00:00:00Z Candidate full solution. Autonomy A1, evidence V0, fidelity F2. Erdős Problem 1190 — full (GPT-5.4 Pro) urn:qed:ab20fb600033 2026-04-23T00:00:00Z Full solution. Autonomy A1, evidence V1, fidelity F2.