Green's open problems — qed.bot Claims, announcements and changes across Green's open problems. https://qed.bot/feeds/collections/green-s-open-problems.xml 2026-09-29T12:43:28Z qed.bot Fidelity regraded: Green's Open Problem 25 urn:qed:change:fidelity:green:25:F2 2026-09-29T12:43:28Z The fidelity grade for Green's Open Problem 25 moved from F0 to F2. 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.