移动沙发问题

Gerver对沙发最优性的证明至今未被完全严格验证。

Meda将移动沙发问题建模为强化学习环境，智能体控制沙发的平移和旋转，目标是最大化能通过走廊的面积。

移动沙发问题最早由Leo Moser于1966年提出：在宽度为1的直角走廊中，能够通过转角的最大沙发面积是多少？

一位没有深厚数学背景的开发者使用PPO算法，通过强化学习重建了Gerver沙发的近似形状。

在该项目中，智能体将问题建模为控制沙发在走廊中移动的任务，沙发由一系列点定义，智能体学习调整这些点的位置，使得沙发能够通过转角且面积最大化。