arXiv — qed.bot Claims, announcements and changes across arXiv. https://qed.bot/feeds/collections/arxiv.xml 2026-09-28T11:57:19Z qed.bot Formal status changed: Group structure via subgroup counts urn:qed:change:formal-status:arxiv:2604.08040/Conjecture5_5:solved 2026-09-28T11:57:19Z The formal record now marks Group structure via subgroup counts as solved, previously mixed. Fidelity regraded: Group structure via subgroup counts urn:qed:change:fidelity:arxiv:2604.08040/Conjecture5_5:F2 2026-09-28T11:57:19Z The fidelity grade for Group structure via subgroup counts moved from F0 to F2.