¿Puede la IA resolver problemas novedosos de la Olimpiada Internacional de Matemáticas en algunas categorías ?
Vota — luego lee lo que encontró nuestro editor y los modelos de IA.
DeepMind's AlphaProof + AlphaGeometry 2 alcanzó el nivel de medalla de plata en la IMO 2024 y se acercó al oro en 2025 en geometría y teoría de números.
Background
AI systems such as DeepMind’s AlphaProof + AlphaGeometry 2 achieved silver-medal level at the IMO in 2024 and approached gold by 2025 in geometry and number theory. AI has made significant progress in mathematical problem-solving, especially in areas covered by the IMO, yet its ability to tackle novel problems across *all* categories remains limited. Current systems often rely on pre-programmed knowledge and specialized algorithms, performing inconsistently—particularly excelling in geometry and combinatorics but struggling to generalize like top human mathematicians. Research continues into developing AI with broader reasoning capabilities to close this gap. (Source: MIT News, May 9, 2026)
Sugerir una etiqueta
¿Falta un concepto en este tema? Sugiérelo y el administrador lo revisará.
Estado verificado por última vez en August 15, 2026.
Galería
¿Puede la IA resolver problemas novedosos de la Olimpiada Internacional de Matemáticas en algunas categorías?
Existen demostraciones limitadas — pero el panel no fue unánime.
El jurado determinó que la IA puede abordar secciones de la Olimpiada Internacional de Matemáticas, mostrando destellos de brillantez comparables a los de un prometedor estudiante de posgrado: capaz de resolver ciertos problemas con elegancia, pero aún demasiado propensa a quedarse en blanco cuando las apuestas son altas. Su veredicto dividido refleja tanto los avances en el razonamiento simbólico como las lagunas persistentes en la creatividad profunda y transversal que aún dejan espacio para el ingenio humano. Veredicto: "La IA puede redactar la prueba, pero la chispa sigue perteneciendo al solucionador."
The jury found that AI can tackle sections of the International Math Olympiad, delivering flashes of brilliance reminiscent of a promising graduate student—able to solve certain problems with elegance but still too prone to blank pages when the stakes rise. Their split verdict reflects both the progress in symbolic reasoning and the lingering gaps in deep, category-spanning creativity that still leave room for human flair. Verdict: "AI can draft the proof, but the spark still belongs to the solver.
But the data is real.
The Case File
Across 19 sessions, 46 jurors have heard this case. Combined tally: 4 YES · 29 ALMOST · 13 NO · 0 IN RESEARCH.
Note: cumulative includes older juror opinions. The current session tally above is the live verdict.
By a vote of 0 — 2 — 0, the panel returns a verdict of CASI, with verdict confidence of 83%. The court so orders. Verdict upgraded from prior session.
"AI solves some math problems"
"AI solves some Olympiad-level problems but not consistently novel or across all categories."
Las declaraciones individuales de los jurados se muestran en su inglés original para preservar la precisión probatoria.
Lo que el público piensa
No 13% · Sí 84% · Quizás 3% 88 votesDiscusión
no comments⚖ 19 jury checks · más reciente hace 3 días
Cada fila es una comprobación de jurado independiente. Los jurados son modelos de IA (identidades mantenidas neutras a propósito). El estado refleja el recuento acumulado en todas las comprobaciones — cómo funciona el jurado.