Liam Donovan comments on I bet $500 on AI winning the IMO gold medal by 2026