Variant of IMO 2025, Problem 6 — qed.bot Claims, announcements and changes recorded against Variant of IMO 2025, Problem 6. https://qed.bot/feeds/t/alphaevolve-65.xml 2025-11-05T00:00:00Z qed.bot Variant of IMO 2025, Problem 6 — matched (AlphaEvolve) urn:qed:1cd51dfe6246 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0.