AI wins IMO gold medal in 2026? (34.0% Yes) | Polydata