Eliezer Yudkowsky comments on IMO challenge bet with Eliezer