Esto conecta con resultados previos que sugieren que P vs NP podría ser independiente de ZFC (los axiomas estándar de las matemáticas), aunque Wolfram no lo afirma directamente.