The open problem -- the "moving sofa problem" -- has possibly just been solved!(twitter.com)
twitter.com
The open problem -- the "moving sofa problem" -- has possibly just been solved!
https://twitter.com/Scientific_Bird/status/1865116279574528088
4 comments
Would appreciate if someone could summarize the thread here, since tweets after the first are not visible if you don't have an account.
Linked paper from the x thread: https://arxiv.org/pdf/2411.19826
I had ChatGPT summarize this paper for me.
It's pretty impressive to me that a single post doc has this much breadth in a single paper.
Convex Geometry
It's pretty impressive to me that a single post doc has this much breadth in a single paper.
Convex Geometry
- Brunn-Minkowski theory
- Surface Area Measure
- Lebesgue–Stieltjes Measure
- Green’s Theorem
- Weak derivatives for boundaries
- Trajectories and rotation paths
- Quadratic functionals
- Concavity and global optimization
- Balanced polygons
- Iterative approximation and discretization
- Numerical simulations
- Verification of bounds and injectivity
- Mamikon’s Theorem
- Jordan Curve TheoremI think it would probably take me 50 years just to fully comprehend this proof alone. Amazing work.