Looking at a human game between strong players, one of the variations reached the following endgame WHITE to move.
[FEN "4Q3/8/2pK4/1p6/1P4k1/P7/8/7q w - - 0 1"]
Since Qxc6 is a draw (Lomonosov tablebases) is the endgame a draw? Or there is a sophisticated win for White in some way, maybe submitting the black King to a barrage of checks? Since my engine does NOT have tablebases incorporated into it I am in the complete dark. What does FinalGen say about this endgame?