AI wins IMO gold medal in 2026? — Market Stats & Predictions