In this presentation, we will survey existing methods for verifying the sign of solutions to elliptic partial differential equations. Simultaneously, we will introduce recent insights and present unresolved challenges that have emerged in this field.