Gerver沙发的最优性证明至今仍是该问题上唯一被广泛接受的严格最优性论证。