We resolve the moving sofa problem by showing that Gerver’s construction with 18 curve sections attains the maximum area 2.2195⋯2.2195⋯.
生成讲解博客的中文版本
生成AI智能校验的中文版本