Have we quantified the x-risk of Magnus Carlsen?