We JUST solved a hard open math problem— the moving sofa problem!...
Deedy@deedydas
24 views
Dec 07, 2024
1
We JUST solved a hard open math problem— the moving sofa problem!
"What is the area of the largest shape that can be manuevered through an L corner of width 1?"
On Dec 2, 2024, Korean Jineon Baek proved the answer is the 18 curve section Gerver's sofa with area 2.2195..!
"What is the area of the largest shape that can be manuevered through an L corner of width 1?"
On Dec 2, 2024, Korean Jineon Baek proved the answer is the 18 curve section Gerver's sofa with area 2.2195..!
2
Read the incredible proof here: arxiv.org/pdf/2411.19826
3
This problem was proposed in 1966 by Leo Moser, who also proposed the fun worm problem.
The simple Hammersley sofa (shown here) was proposed in 1968 with area 2.2074..
The Gerver sofa was in 1992, and Jineon Baek's proof came in 2024, 58yrs later!
Math is beautiful.
The simple Hammersley sofa (shown here) was proposed in 1968 with area 2.2074..
The Gerver sofa was in 1992, and Jineon Baek's proof came in 2024, 58yrs later!
Math is beautiful.
4
I’m floored by just how many people made the Pivot Friends reference!
Have all of you actually memorized all of Friends?!? Mad lads.
Have all of you actually memorized all of Friends?!? Mad lads.