Malo comments on IMO challenge bet with Eliezer

[Malo]

The market has now resolved to yes, with Paul confirming.