vielleicht verkürzt polgars programm in ähnlicher weise wie bei jenen, die "aufgeben" obwohl sie noch weiterspielen könnten also noch nicht mattgesetzt wurden aber aufgrund bestimmter merkmale ein weiterspielen für sinnlos errechnen

Dann würde er doch lieber aufgeben und diese Funktion ist dem Polgar gegeben worden, oder?!