{"data":{"id":"kill-moving-sofa-2024","statement_oneline":"The moving sofa problem: Gerver's shape of area 2.2195... is the largest that can turn a right-angle corridor corner.","renown":{"score":4,"rationale":"A beloved 1966 geometry problem with a Numberphile-scale following.","scored_by":"founder"},"attackability":{"score":1,"rationale":"An optimality claim over a continuum of shapes; no finite counterexample witness existed. Resolved by proof.","subscores":{"finite_witness":1,"oracle_cost":2,"freshness":1,"seedability":2},"scored_by":"founder"},"ranking_score":4,"verification_tier":null,"ai_systems":[],"posed_by":null,"years_open":null,"notability":null,"source_trackers":[],"status":"confirmed","added":"2024-12-02","resolution_type":"proof","resolver":"Jineon Baek","resolution_date":"2024-12-02","evidence_url":"https://arxiv.org/abs/2411.19826","evidence_note":"Proof that Gerver's 1992 sofa is optimal, settling the 1966 problem of Moser.","method_note":"Included as a proof-side classic: open problems also leave the board by being confirmed.","effective_status":"confirmed","claims":[],"status_events":[{"id":"seed-kill-moving-sofa-2024","conjecture_id":"kill-moving-sofa-2024","status":"confirmed","date":"2024-12-02T00:00:00.000Z","actor":"human-admin","rationale":"Loaded from unified seed data.","note":"Loaded from unified seed data."}],"public_actions":[],"resolutions":[]},"notice":"Status is community- and machine-tracked and may lag. Verify independently before investing effort."}