{"data":{"id":"kill-hirsch-2010","statement_oneline":"The Hirsch conjecture (1957): a d-dimensional polytope with n facets has diameter at most n - d.","renown":{"score":4,"rationale":"A 1957 conjecture at the heart of linear programming theory.","scored_by":"founder"},"attackability":{"score":2,"rationale":"Finite polytope witness (43 dimensions, 86 facets), LP-verifiable; required deep structural insight to locate.","subscores":{"finite_witness":4,"oracle_cost":3,"freshness":1,"seedability":2},"scored_by":"founder"},"ranking_score":8,"verification_tier":null,"ai_systems":[],"posed_by":null,"years_open":null,"notability":null,"source_trackers":[],"status":"confirmed","added":"2010-05-10","resolution_type":"counterexample","resolver":"Francisco Santos","resolution_date":"2010-05-10","evidence_url":"https://arxiv.org/abs/1006.2814","evidence_note":"A 43-dimensional counterexample with 86 facets, settling a 53-year-old question central to linear programming.","method_note":null,"effective_status":"confirmed","claims":[],"status_events":[{"id":"seed-kill-hirsch-2010","conjecture_id":"kill-hirsch-2010","status":"confirmed","date":"2010-05-10T00: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."}