La formulación oficial y técnica del enuciado del problema fue preparada por Arthur Jaffe y Edward Witten.