Maybe there should be an option once a player has won mathematically (or will be able to do so during his current turn): "John wins, play on?" to which players can either answer yes or no. Game only continues if all players answer yes.
There are probably relatively few boards on which this can easily be proven by a computer algorithm.
Anyway, just wanted to note that I sometimes have to take a couple of extra turns in spots where I'm pretty sure I have a lock, but where I'm aware that certain surprises could come up if I "almost end" it now. City games and Goons are probably the most obvious cases.
That said, I do check the score all the time, and sometimes I'll be sitting there seemingly forever at the beginning of my Buy phase on a late-game turn, because I have to calculate whether I can actually pile out and also grab enough VP, and also decide, if I can't, whether I want to just take as many VP as possible, do something funky with the PPR (or PPPR, etc.), get more engine components and let the other guy bring it close enough to ending that I can end it, etc. etc. Some games are just deep like that.
I don't find it to be a big problem in reality. Once I've drawn my deck, I'll stop playing useless - not providing any money -cantrips, like Lab, Great Hall, etc.
Yeah, I have an issue with that sometimes... "oh yeah BTW I still have 5 more Scrying Pools, I still want you to keep that Curse".
It is a bit like a go match with full handicap against a much stronger player. I tend to resign during midgame even if I am not behind yet, but the dan will overtake me in the endgame with ease.
Since we're on the topic and Go players are hard to find: speaking from personal experience, it is totally possible to get to shodan without really doing that "counting" thing.
