A renormalization group fixed point associated with the breakup of golden invariant tori

We give a computer-assisted proof for the existence of a renormalization group fixed point (Hamiltonian) with non-trivial scaling, associated with the breakup of invariant tori with rotation number equal to the golden mean.