AI wins IMO gold medal in 2026? (58% odds) | Kelvon