Recent trader sentiment favoring “No” at 71.5% centers on the IMO’s strict eligibility rules, which limit participation to human contestants under age 20 and bar AI systems from official entry or medal awards. Although multiple frontier models, including Huawei’s Celia and Xiaohongshu’s dots-note-3.0, achieved perfect 42/42 scores on the official 2026 problem set under IMO grading protocols in Shanghai, these results represent benchmark saturation rather than contest participation. The distinction between solving problems autonomously and receiving an official gold medal under competition rules continues to anchor market-implied odds, with limited near-term catalysts absent explicit changes from the IMO board.