¿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 10, 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 encontró el caso demasiado finamente equilibrado para declarar a un vencedor, con un grupo señalando los destellos aislados de brillantez de oro de la IA y el otro insistiendo en que esos momentos nunca han sumado una mano firme en todas las categorías. En lugar de dividir la diferencia, dejaron la pregunta en el campo de pruebas por ahora, donde el genio todavía coexiste con los errores. Fallos: AI puede detectar el teorema, pero aún no ha ganado la sala de medallas de la OMI.
The jury found the case too finely balanced to declare a victor, with one camp pointing to AI’s isolated flashes of gold-medal brilliance and the other insisting those moments have never added up to a steady hand across all categories. Rather than split the difference, they left the question in the proving grounds for now, where genius still coexists with glitches. Ruling: “AI can spot the theorem, but hasn’t yet earned the IMO medal room.”
But the data is real.
The Case File
Across 18 sessions, 44 jurors have heard this case. Combined tally: 4 YES · 27 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 1 — 0 — 1, the panel returns a verdict of EN INVESTIGACIóN, with verdict confidence of 88%. The court so orders. Verdict downgraded from prior session.
"No AI has solved novel IMO problems with broad or reliable capability."
"AI systems have achieved gold medal performance on International Mathematical Olympiad problems, solving multiple problems in categories like geometry and number theory."
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⚖ 18 jury checks · más reciente hace 2 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.