It is known to be undecidable when 9 pairs are used .
Stephen Wolfram suggested that it is also undecidable with just 3 pairs .
It is known to be undecidable when 9 pairs are used , but Stephen Wolfram suggested that it is also undecidable with just 3 pairs .