Reactive programming looks like a very good model for UIs, but I wouldn't claim anything is proven.

I am not sure we even got any implementation that is more convenient than event based UIs from a couple of decades ago. It does certainly looks like such implementations exist, they feel just within grasp, but there is a long way into "proven".