This question uses the standard rules from the large 2025 IMO market to determine IMO scores of AIs (i.e. must be finalized before the competition starts, must take 4.5hrs for each problem set, etc.)

This question asks for the largest value, among such AIs competing in the 2026 IMO, of (the score of the AI) - (the gold cutoff score).

I intend to close this before the 2026 IMO starts and resolve 30 after the closing ceremony.