This resolves YES if the IMO grand challenge is completed before the end of 2025 according to the rules on the site https://imo-grand-challenge.github.io/ according to the IMO Grand Challenge committee. This requires an AI to generate machine-checkable proof of enough problems on one of the IMOs in 2023, 2024 or 2025 for a gold medal (there are more rules on the website).

This resolves NO if this has not happened at the start of 2026. It will also resolve NO if a few weeks after the IMO in 2025 there is nobody claiming that the IMO grand challenge has been solved.

This resolves N/A if the IMO grand challenge is either canceled or abandoned (e.g. there is a serious claim that the challenge is completed and nobody of the committee comments on the submission for multiple months).