Mo Putera comments on IMO challenge bet with Eliezer