Ein Computer kann die Lösung eines Problems immer in vertretbarer Zeit überprüfen, sagt ein neuer Beweis - und widerlegt damit eine ganze Reihe etablierter Vermutungen.