Circle packing in a square / rectangle — qed.bot Claims, announcements and changes recorded against Circle packing in a square / rectangle. https://qed.bot/feeds/t/alphaevolve-36.xml 2025-11-05T00:00:00Z qed.bot Circle packing in a square / rectangle — superseded (AlphaEvolve) urn:qed:a34922952e10 2025-11-05T00:00:00Z Held the record at publication, since beaten. Autonomy A2, evidence V1, fidelity F0.