The ambidextrous moving sofa problem — qed.bot Claims, announcements and changes recorded against The ambidextrous moving sofa problem. https://qed.bot/feeds/t/alphaevolve-63.xml 2025-11-05T00:00:00Z qed.bot The ambidextrous moving sofa problem — matched (AlphaEvolve) urn:qed:d13ab0a55eaf 2025-11-05T00:00:00Z Matched the best known construction. Autonomy A2, evidence V1, fidelity F0.