Difference between revisions
moving-sofa
Source +0 −0
… 24 unchanged lines
Revision 32 as rendered
Gerver's 1992 sofa, bounded by 18 curve sections, has area about 2.2195. In November 2024 Jineon Baek posted a proof that Gerver's sofa is optimal. Marked partial here until the proof completes review. That makes it a good candidate for a formal check.
Posed 1966, Leo Moser.
What would settle it
Lean statement in formal-conjectures