¿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 June 28, 2026.
Galería
¿Puede la IA resolver problemas novedosos de la Olimpiada Internacional de Matemáticas en algunas categorías?
El jurado no pudo emitir un veredicto con las pruebas presentadas.
El jurado reconoció destellos de progreso —la IA puede procesar problemas que ha visto antes— pero ninguno podía reclamar el misterio completo y centelleante de un verdadero desafío novel de IMO. La sola voz de optimismo cauteloso insistió en que los pequeños avances valen la pena celebrar, mientras que el resto se mantuvo firme en que la montaña sigue sin conquistar. Fallos: los libros de texto de álgebra todavía caben en la mochila, pero la cima de la montaña sigue desnuda.
The jury recognized glimmers of progress—AI can churn through problems it has seen before—but none could claim the full, shimmering mystery of a truly novel IMO challenge. The lone voice of cautious optimism insisted that small breakthroughs are worth cheering, while the rest held firm that the mountain remains unconquered. Ruling: Algebra textbooks still fit in the backpack, but the mountain peak stays bare.
But the data is real.
The Case File
Across 11 sessions, 32 jurors have heard this case. Combined tally: 1 YES · 19 ALMOST · 12 NO · 0 IN RESEARCH.
Note: cumulative includes older juror opinions. The current session tally above is the live verdict.
By a vote of 0 — 1 — 1, the panel returns a verdict of EN INVESTIGACIóN, with verdict confidence of 88%. The court so orders.
"No AI system has solved novel IMO problems reliably or broadly."
"AI solves some math problems"
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⚖ 11 jury checks · más reciente hace 13 horas
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.
Más en Judgment
¿Puede la IA diagnosticar una enfermedad médica rara a partir de los síntomas y el historial médico de un paciente ?
¿Puede la IA predecir el resultado de un caso legal novedoso analizando sentencias judiciales y precedentes legales con un 90% de precisión ?
¿Puede la IA clonar una voz de manera convincente con una muestra de 30 segundos ?