The website mentions the line "N4 N5, N6 K7, R4 K6, R2 K7, R5++" as the answer to the question "assming optimal play, is there a forced win for white?"
When playing "N4 N5, N6 K7, R4 K6, R2" against the AI, it will respond with K7 as your line suggests.
However, this is not optimal play.
Black can play N3 instead of K7, which delays white's victory by a few moves.
Black can keep stalling like so:
N4 N5, N6 K7, R4 K6, R2 N3, K2 N5, N8 K8, R5++
Cool website, just a small mistake in the optimal play!