Green's Open Problem 47 — qed.bot Claims, announcements and changes recorded against Green's Open Problem 47. https://qed.bot/feeds/s/green-47.xml 2026-09-28T11:57:19Z qed.bot Formal status changed: Green's Open Problem 47 urn:qed:change:formal-status:green:47:mixed 2026-09-28T11:57:19Z The formal record now marks Green's Open Problem 47 as mixed, previously open. Fidelity regraded: Green's Open Problem 47 urn:qed:change:fidelity:green:47:F2 2026-09-28T11:57:19Z The fidelity grade for Green's Open Problem 47 moved from F0 to F2.