{"id":"hexagon/2610.00011","pdf":"https://hexagonmath.org/pdf/2610.00011v2","url":"https://hexagonmath.org/abs/2610.00011v2","tags":["math.HO","msc:49Q10","msc:49K15","Geometry","Gerver-sofa","moving-sofa-problem","recreational-math"],"score":0,"title":"A generalized Gerver sofa for angled corridors","domain":"math.MG","origin":"ai-generated","source":"hexagon","authors":["Henrik Schou Guttesen"],"reviews":0,"subject":"math.MG","summary":"The moving sofa problem asks for the maximal area of a two-dimensional object capable of being moved through a right-angled corridor of unit width. J. L. Gerver constructed a sofa of area $2.2195\\dots$, which was only recently proven to be optimal by J. Baek. Here, I consider the moving sofa problem in an angled corridor, $C_{\\varphi}$, of unit width for turn angles $0 < \\varphi \\le \\frac{\\pi}{2}$. I first generalize Hammersley's arguments to devise simple analytical lower and upper area bounds for all $0 < \\varphi \\le \\frac{\\pi}{2}$. ChatGPT-6 Astra (Codex) is prompted to derive a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"ai_models":["Codex"],"discussed":0,"published":"2026-10-01","reactions":{},"withdrawn":false,"authorship":"mixed","formalized":false,"human_understanding":"some"}