Optimality of Gerver's Sofa
2024/11/29 by Jineon Baek, Baek, Jineon · 57 voices · 1 citation
#math.MG #math.CO #math.OC
paper · pdf · doi:10.48550/arxiv.2411.19826
Abstract
We resolve the moving sofa problem by showing that Gerver's construction with 18 curve sections attains the maximum area 2.2195⋯.
Cited by
Discussions
- Optimality of Gerver's Sofa [hn, 131 points, 36 comments]
- Il semble que le problème du sofa (quelle est la forme du plus grand sofa indéformable qu'il est possible de faire passer dans un couloir de 1 m de large qui forme un angle droit ?) soit complètement [bsky, 57 points, 4 comments]
- omg they did it. they solved the sofa problem. or rather they proved the existing solution optimal. with a 115-page paper arxiv.org/abs/2411.19826 [bsky, 52 points, 1 comments]
- Claimed solution of the Moving Sofa Problem (rather, claiming proof that the 1992 conjectured solution is correct). This is not the most important math problem, but it is a Math Problem Non-Mathematic [bsky, 50 points, 6 comments]
- an attempt [preprint] at being declared Sofa King: arxiv.org/abs/2411.19826 #MathSky 🧮 🤝 🛋️ [bsky, 32 points, 8 comments]
- Assuming the subsequent 119 pages of math are, a new entry to the list of GOATed abstracts dropped this weekend. arxiv.org/abs/2411.19826 [bsky, 25 points, 4 comments]
- Someone posted a proof to the Moving Sofa Problem four days ago and I'm just finding out now?? arxiv.org/abs/2411.19826 [bsky, 24 points, 3 comments]
- Sofa designers from around the world (or, more appropriately in this case, from around the corner) breathe a collective sigh of relief. The optimal shape for furniture movers has been proven. And it o [bsky, 22 points, 4 comments]
- Looks like Gerver's sofa is optimal. arxiv.org/pdf/2411.19826 [bsky, 21 points, 0 comments]
- arxiv.org/pdf/2411.19826 "움직이는 소파 문제"가 풀렸대요! [bsky, 21 points, 2 comments]
- Говорят, задачу о пропихивании дивана через угол коридора — что-то из детства и пахнущих районной библиотекой пожелтевших книжек Мартина Гарднера — наконец решили и константу дивана нашли. (Точнее, д [bsky, 16 points, 2 comments]
- Oh, wow. Just dropped: a 199-page preprint that is claiming a solution of the moving sofa problem! https://arxiv.org/abs/2411.19826 cc @johncarlosbaez [bsky, 12 points, 3 comments]
- I had missed that there appears to be a resolution of the moving-a-sofa-around-a-corner problem. (It’s 100 pages long, so I haven’t read it all.) arxiv.org/abs/2411.19826 [bsky, 10 points, 2 comments]
- Optimality of Gerver's Sofa [lobsters, 9 points, 2 comments]
- Finally settled: "Optimality of Gerver's Sofa": arxiv.org/abs/2411.19826 [bsky, 7 points, 0 comments]
- Die fabelhafte Welt der Mathematik: Das Sofaproblem hat nach 60 Jahren endlich eine Lösung [lemmy, 6 points, 0 comments]
- big if true: arxiv.org/abs/2411.19826 [bsky, 6 points, 1 comments]
- Did they just solve the sofa problem? arxiv.org/abs/2411.19826 [bsky, 4 points, 0 comments]
- Claimed solution for the moving sofa problem? It looks intense, I hope it's correct arxiv.org/abs/2411.19826 [bsky, 4 points, 1 comments]
- What's the biggest sofa you can move round a right-angled corridor one metre wide? One of my favourite "easy to ask, hard to answer" maths problems has a [claimed] solution after many, many decades (! [bsky, 3 points, 1 comments]
- Big things happening on maths arXiv - arxiv.org/pdf/2411.19826 If correct, this is a proof that this shape (proposed by Gerver in 1992) is the biggest sofa that can fit around the corner of a corrido [bsky, 3 points, 0 comments]
- Mathematicians be like arxiv.org/abs/2411.19826 [bsky, 3 points, 0 comments]
- New Moving Sofa Problem proof dropped!! arxiv.org/abs/2411.19826 [bsky, 2 points, 1 comments]
- They solved the moving sofa problem???? arxiv.org/abs/2411.19826 [bsky, 2 points, 2 comments]
- Pilne ‼️‼️‼️ Wygląda na to, że udowodniono, jak wygląda największa pod względem powierzchni sofa, którą da się przepchać przez zaginający się prostopadle korytarz. Ten kształt był znany, ale nie wia [bsky, 2 points, 0 comments]
- すげえええソファ問題解決してる arxiv.org/pdf/2411.19826 [bsky, 1 points, 0 comments]
- And here's the preprint by Jineon Baek should you wish to work through the maths in full 🥰 arxiv.org/pdf/2411.19826 [bsky, 1 points, 0 comments]
- 🚨🚨 MOVING SOFA PROBLEM IR, IESPĒJAMS, ATRISINĀTA 🚨🚨 arxiv.org/abs/2411.19826 [bsky, 1 points, 1 comments]
- [1] arxiv.org/pdf/2411.19826 [2] The Gerver Sofa has an area of approximately 2.2195 square units- the largest known area for any shape that can fit through the corner. This surpassed the area of all [bsky, 1 points, 0 comments]
- There's a new preprint that claims to prove that Gerver's sofa is optimal. Have any of you read it yet? Big if true! https://arxiv.org/abs/2411.19826 [bsky, 1 points, 2 comments]
- An arXiv preprint claims to have solved the moving sofa problem! arxiv.org/abs/2411.19826 [bsky, 1 points, 0 comments]
- Just saw that the moving sofa problem may have been solved. Furniture movers nowhere are thrilled. arxiv.org/abs/2411.19826 [bsky, 1 points, 0 comments]
- Anyone remember the moving sofa problem? A preprint of a possible proof has recently been published! arxiv.org/abs/2411.19826 [bsky, 1 points, 0 comments]
- I love this math problem, "Moving sofa problem": What's the largest shape that can fit through a 90-degree turn in a unit-width hallway? A new proof may have solved it after nearly 60 years. (arxiv.o [bsky, 1 points, 1 comments]
- Perhaps math could help? arxiv.org/abs/2411.19826 [bsky, 0 points, 0 comments]
- <with the TMNT lettering/logo> Moser's moving sofa problem arxiv.org/abs/2411.19826 [bsky, 0 points, 0 comments]
- Obscure result of the day. arxiv.org/abs/2411.19826 [bsky, 0 points, 0 comments]
- Optimality of Gerver's Sofa https://arxiv.org/abs/2411.19826 (https://news.ycombinator.com/item?id=42300382) [bsky, 0 points, 0 comments]
- Optimality of Gerver's Sofa https://arxiv.org/abs/2411.19826 (https://news.ycombinator.com/item?id=42300382) [bsky, 0 points, 0 comments]
- 引用 arxiv.org/abs/2411.19826 [bsky, 0 points, 0 comments]
- I love geometry problems. This was one of my favorites. Guess I need to find a new one as this was solved a few days ago. arxiv.org/pdf/2411.19826 [bsky, 0 points, 0 comments]
- Pivot! Pivot! PIVOT! arxiv.org/abs/2411.19826 [bsky, 0 points, 0 comments]
- Optimality of Gerver's Sofa [bsky, 0 points, 0 comments]
- Optimality of Gerver's Sofa https://arxiv.org/abs/2411.19826 https://news.ycombinator.com/item?id=42300382 [bsky, 0 points, 0 comments]
- Optimality of Gerver's Sofa https://arxiv.org/abs/2411.19826 [comments] [54 points] [bsky, 0 points, 0 comments]
- reference: arxiv.org/pdf/2411.19826 other reference: www.youtube.com/watch?v=DQUa... [bsky, 0 points, 0 comments]
- @mickaellaunay.bsky.social Résolution du problème du sofa : arxiv.org/pdf/2411.19826 (preprint) [bsky, 0 points, 0 comments]
- Optimality of Gerver's Sofa https://lobste.rs/s/zbhtfx #math [bsky, 0 points, 0 comments]
- 暇なときによむメモ arxiv.org/pdf/2411.19826 [bsky, 0 points, 0 comments]
- Optimality of Gerver's Sofa https://arxiv.org/abs/2411.19826 [bsky, 0 points, 0 comments]
- Optimality of Gerver's Sofa (arxiv.org) Main Link | Discussion [bsky, 0 points, 0 comments]
- Geometry’s “moving sofa problem” asks for the largest shape that can turn a right angle in a narrow corridor without getting stuck. Jineon Baek (Yonsei University in Seoul) has now posted a paper clai [bsky, 0 points, 0 comments]
- A sofa, a braid: at last, Korean mathematician Jineon Baek solved the moving sofa problem. The riddle—what’s the largest area that slides through an L-shaped corner of width 1? Baek’s proof lies withi [bsky, 0 points, 0 comments]
- > Optimality of Gerver's Sofa More than 100 pages. Wow. Good Job👍 arxiv.org/abs/2411.19826 [bsky, 0 points, 1 comments]
- J'ai oublie d'ajouter le preprint de Jineon Baek dans le post precedent. Et, honte sur moi, je l'ai appele Jineon Kim par erreur. arxiv.org/pdf/2411.19826 [bsky, 0 points, 0 comments]
- Incredibly exciting (to me) -- this was solved! Gerver's sofa **is** the optimal solution arxiv.org/pdf/2411.19826 [bsky, 0 points, 0 comments]
- Part VI: On a more positive note, a proof of most optimal solution to sofa problem has been submitted to a pre print arXiv by Jineon Baek arxiv.org/pdf/2411.19826. It finds that one solution is optima [bsky, 0 points, 0 comments]
Related