Tomás B. comments on IMO challenge bet with Eliezer