Claims, announcements and changes recorded against Ben Green's Open Problem 45. https://qed.bot/feeds/s/green-45.xml 2026-10-02T11:19:10Z qed.bot