Breakthrough Tracker record

The moving sofa problem: a claimed optimality proof

The paper claims that Gerver's 18-section shape has the largest possible area, approximately 2.2195, among planar sofas that can move around a right-angled unit-width hallway corner.

← Back to the filtered Breakthrough Tracker

Stable ID
math-moving-sofa-gerver-optimality-2024
Revision
math-moving-sofa-gerver-optimality-2024.v1
Field
Mathematics · Geometric optimization
Evidence
Tier 1 · Peer reviewed: No
Record state
Provisional · Claimed proof under review
Last checked

AI role

No generative-AI role was disclosed.

Record details

Problem or result
Moving sofa problem
Authors
Jineon Baek
Institutions
Yonsei University at announcement
Result date
Preprint submitted November 29, 2024

Why it matters

If accepted, the proof resolves a famous geometric optimization problem posed in 1966.

Limits

No journal publication was located, and arXiv still showed the original version at the last check. The result should remain labeled as a claimed proof while the long, technical argument is reviewed.

Sources

  1. Primary: Jineon Baek, Optimality of Gerver's Sofa
  2. Independent: Quanta, The Largest Sofa You Can Move Around a Corner

Correction and revision history

  1. Added on 2026-07-22 as a provisional claimed proof rather than a confirmed solution.

Machine-readable: JSON v1 · CSV v1 · Schema v1

This individual record remains noindex until a story-specific featured image passes Kingy’s rendered-pixel visual review. The source-linked tracker hub remains the public index.