Recent AI systems, including Huawei’s Celia and Xiaohongshu’s dots-note 3.0, posted officially graded perfect 42/42 scores on the 2026 IMO problems in Shanghai, extending 2025’s gold-level results from models like Gemini Deep Think. Despite these capability milestones in mathematical reasoning, the International Mathematical Olympiad maintains strict eligibility rules limited to human high-school contestants, with no policy shift permitting AI entry or medal recognition. This structural barrier, rather than raw performance, underpins trader consensus around a 63% probability for “No,” as markets distinguish unofficial benchmarks from formal awards. Key near-term catalysts include any IMO committee statements on rule updates before year-end resolution, though historical precedent favors continued exclusion.
Resumen experimental generado por IA con datos de Polymarket. Esto no es asesoramiento de trading y no influye en cómo se resuelve este mercado. · ActualizadoSí
Sí
The resolution source is the IMO Grand Challenge (https://imo-grand-challenge.github.io/) and the Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/). If either source demonstrates that an AI has won the challenge/prize before the resolution date, this market will resolve to "Yes".
Mercado abierto: Nov 12, 2025, 5:08 PM ET
Resolver
0x65070BE91...The resolution source is the IMO Grand Challenge (https://imo-grand-challenge.github.io/) and the Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/). If either source demonstrates that an AI has won the challenge/prize before the resolution date, this market will resolve to "Yes".
Resolver
0x65070BE91...Recent AI systems, including Huawei’s Celia and Xiaohongshu’s dots-note 3.0, posted officially graded perfect 42/42 scores on the 2026 IMO problems in Shanghai, extending 2025’s gold-level results from models like Gemini Deep Think. Despite these capability milestones in mathematical reasoning, the International Mathematical Olympiad maintains strict eligibility rules limited to human high-school contestants, with no policy shift permitting AI entry or medal recognition. This structural barrier, rather than raw performance, underpins trader consensus around a 63% probability for “No,” as markets distinguish unofficial benchmarks from formal awards. Key near-term catalysts include any IMO committee statements on rule updates before year-end resolution, though historical precedent favors continued exclusion.
Resumen experimental generado por IA con datos de Polymarket. Esto no es asesoramiento de trading y no influye en cómo se resuelve este mercado. · Actualizado



Cuidado con los enlaces externos.
Cuidado con los enlaces externos.
Preguntas frecuentes