If you check the wikipedia page, it seems that Philib Gibbs has contributed to this problem as well: '''A computation by Philip Gibbs produced a shape indistin

If you check the wikipedia page, it seems that Philib Gibbs has contributed to this problem as well: '''A computation by Philip Gibbs produced a shape indistinguishable from that of Gerver's sofa giving a value for the area equal to eight significant figures.[6] This is evidence that Gerver's sofa is indeed the best possible but it remains unproven. '''