Ciencia y Tecnología
El oro histórico de la IA en la Olimpiada de Matemáticas nos prepara para algo muy grande: el fin de los problemas matemáticos sin solución
<p>
 <img src="https://i.blogs.es/52cece/iamaths-ap/1024_2000.jpeg" alt="El oro histórico de la IA en la Olimpiada de Matemáticas nos prepara para algo muy grande: el fin de los problemas matemáticos sin solución">
 </p>
<p>A los modelos de <a class="text-outboundlink" href="https://www.xataka.com/robotica-e-ia/que-inteligencia-artificial" data-vars-post-title="Qué es la inteligencia artificial" data-vars-post-url="https://www.xataka.com/robotica-e-ia/que-inteligencia-artificial">inteligencia artificial</a> (IA) disponibles actualmente se les dan bien las matemáticas. De hecho, en octubre de 2024 <a class="text-outboundlink" href="https://www.xataka.com/basics/meta-ai-que-que-ofrece-chatbot-inteligencia-artificial-meta" data-vars-post-title="Meta AI: qué es y qué ofrece el chatbot de inteligencia artificial de Meta" data-vars-post-url="https://www.xataka.com/basics/meta-ai-que-que-ofrece-chatbot-inteligencia-artificial-meta">Meta AI</a>, la IA de Meta, consiguió generalizar <a class="text-outboundlink" href="https://www.xataka.com/investigacion/llevabamos-siglo-intentando-resolver-algunos-problemas-matematicos-ia-esta-empezando-a-desenmaranar" data-vars-post-title="Llevábamos más de un siglo intentando resolver algunos problemas matemáticos. La IA los está empezando a desenmarañar" data-vars-post-url="https://www.xataka.com/investigacion/llevabamos-siglo-intentando-resolver-algunos-problemas-matematicos-ia-esta-empezando-a-desenmaranar">la función de Lyapunov</a>. El matemático ruso Aleksander Lyapunov propuso el concepto de la función que lleva su nombre en 1892. Su trabajo es una herramienta muy importante en el estudio de los sistemas dinámicos, pero los matemáticos se han esforzado desde entonces para encontrar un método general que permita identificar las funciones de Lyapunov. Y no han tenido éxito. Sin embargo, <strong>Meta AI sí lo ha tenido</strong>.</p>
<p><!-- BREAK 1 --></p>
<p>Este no es en absoluto el único éxito reciente de los modelos de IA en el terreno de las matemáticas. Sergei Gukov, profesor de física teórica y matemáticas en el Instituto de Tecnología de California (Caltech), lidera un equipo de investigadores que está buscando <a class="text-outboundlink" href="https://www.xataka.com/robotica-e-ia/ia-nuestra-mejor-aliada-para-resolver-problemas-matematicos-que-parecen-imposibles" data-vars-post-title="La IA ya es nuestra mejor aliada para resolver los problemas matemáticos que parecen imposibles" data-vars-post-url="https://www.xataka.com/robotica-e-ia/ia-nuestra-mejor-aliada-para-resolver-problemas-matematicos-que-parecen-imposibles">la forma de utilizar esta tecnología</a> para resolver problemas matemáticos avanzados que requieren miles, millones, o, incluso, miles de millones de pasos. Actualmente estos científicos están trabajando en la conjetura de Andrews-Curtis, un problema de teoría combinatoria de grupos propuesto hace 60 años.</p>
<p><!-- BREAK 2 --></p>
<h2>Las IA de Google y OpenAI han ganado el oro en la Olimpiada de Matemáticas</h2>
<p>Gukov y su equipo aún no han conseguido resolver la conjetura principal, pero con la ayuda de la IA han logrado algo importante: han refutado varias familias de problemas relacionados con la conjetura de Andrews-Curtis y conocidos como contraejemplos que han permanecido abiertos durante más de 25 años. <a class="text-outboundlink" href="https://www.xataka.com/robotica-e-ia/ia-nuestra-mejor-aliada-para-resolver-problemas-matematicos-que-parecen-imposibles" data-vars-post-title="La IA ya es nuestra mejor aliada para resolver los problemas matemáticos que parecen imposibles" data-vars-post-url="https://www.xataka.com/robotica-e-ia/ia-nuestra-mejor-aliada-para-resolver-problemas-matematicos-que-parecen-imposibles">Gukov reconoce</a> que los modelos de IA actuales tienen limitaciones importantes a la hora de enfrentarse a problemas matemáticos muy complejos, pero tiene la esperanza de que en el futuro esta tecnología permita al ser humano resolver <a class="text-outboundlink" href="https://www.xataka.com/otros/un-millon-de-dolares-y-una-plaza-en-el-olimpo-de-las-matematicas-para-quien-resuelva-estos-problemas" data-vars-post-title="Un millón de dólares y una plaza en el olimpo de las matemáticas para quien resuelva estos problemas" data-vars-post-url="https://www.xataka.com/otros/un-millon-de-dolares-y-una-plaza-en-el-olimpo-de-las-matematicas-para-quien-resuelva-estos-problemas">los problemas matemáticos del milenio</a>.</p>
<p><!-- BREAK 3 --></p>
<div class="article-asset article-asset-normal article-asset-center">
<div class="desvio-container">
<div class="desvio">
<div class="desvio-figure js-desvio-figure">
 <a href="https://www.xataka.com/empresas-y-economia/presion-eeuu-obliga-a-china-a-independizar-su-industria-chips-estos-dos-proyectos-sus-mejores-cartas" class="pivot-outboundlink" data-vars-post-title="El reto imposible de China: independizarse al 100% de Occidente para tener una industria de chips a prueba de bombas"><br />
 <img alt="El reto imposible de China: independizarse al 100% de Occidente para tener una industria de chips a prueba de bombas" width="375" height="142" src="https://i.blogs.es/65b407/chinasincrotron-ap/375_142.jpeg"><br />
 </a>
 </div>
<div class="desvio-summary">
<div class="desvio-taxonomy js-desvio-taxonomy">
 <a href="https://www.xataka.com/empresas-y-economia/presion-eeuu-obliga-a-china-a-independizar-su-industria-chips-estos-dos-proyectos-sus-mejores-cartas" class="desvio-taxonomy-anchor pivot-outboundlink" data-vars-post-title="El reto imposible de China: independizarse al 100% de Occidente para tener una industria de chips a prueba de bombas">En Xataka</a>
 </div>
<p> <a href="https://www.xataka.com/empresas-y-economia/presion-eeuu-obliga-a-china-a-independizar-su-industria-chips-estos-dos-proyectos-sus-mejores-cartas" class="desvio-title js-desvio-title pivot-outboundlink" data-vars-post-title="El reto imposible de China: independizarse al 100% de Occidente para tener una industria de chips a prueba de bombas">El reto imposible de China: independizarse al 100% de Occidente para tener una industria de chips a prueba de bombas</a>
 </div>
</p></div>
</p></div>
</div>
<div class="article-asset-summary article-asset-small article-asset-right">
<div class="asset-content">
<p class="sumario_derecha">La mejor baza que tienen los investigadores para afrontar este reto consiste en instruir a la IA recurriendo al aprendizaje por refuerzo</p>
</p></div>
</div>
<p>Según este matemático la mejor baza que tienen los investigadores para afrontar este reto consiste en instruir a la IA recurriendo al <a class="text-outboundlink" href="https://www.xataka.com/inteligencia-artificial/conceptos-inteligencia-artificial-que-aprendizaje-refuerzo" data-vars-post-title="Conceptos de inteligencia artificial: qué es el aprendizaje por refuerzo " data-vars-post-url="https://www.xataka.com/inteligencia-artificial/conceptos-inteligencia-artificial-que-aprendizaje-refuerzo">aprendizaje por refuerzo</a>. Sea como sea acaba de suceder algo importante. Como os anticipamos en el titular de este artículo, los modelos de IA de Google y OpenAI <a rel="noopener, noreferrer" href="https://www.scmp.com/tech/tech-trends/article/3319077/google-and-openais-ai-models-win-milestone-gold-international-mathematical-olympiad?module=top_story&;pgtype=section">han ganado el oro</a> en <strong>la Olimpiada Internacional de Matemáticas</strong>. Ambos consiguieron resolver cinco de los seis problemas planteados utilizando modelos de razonamiento de propósito general capaces de procesar conceptos matemáticos empleando el lenguaje natural. Esta estrategia es diferente a la que han utilizado con anterioridad las compañías de IA en las pruebas matemáticas.</p>
<p><!-- BREAK 4 --></p>
<div class="article-asset-video article-asset-normal">
<div class="asset-content">
<div class="base-asset-video">
<div class="js-dailymotion"></div>
</p></div>
</p></div>
</div>
<p>En cualquier caso, <a rel="noopener, noreferrer" href="https://www.scmp.com/tech/tech-trends/article/3319077/google-and-openais-ai-models-win-milestone-gold-international-mathematical-olympiad?module=top_story&;pgtype=section">según SCMP</a> un experto al que han consultado sostiene que la velocidad con la que se están desarrollando los modelos de IA sugiere que están a menos de un año de ser utilizados para resolver algunos problemas matemáticos que todavía no tienen solución. Como hemos visto, Sergei Gukov defiende esta misma idea, aunque este último matemático no se ha atrevido a precisar el momento en el que la IA comenzará a resolver los problemas en los que los matemáticos llevan décadas enfrascados. Quién sabe, quizá la solución a los problemas del milenio está cerca. Ojalá.</p>
<p><!-- BREAK 5 --></p>
<p>Imagen | <a rel="noopener, noreferrer" href="https://www.pexels.com/photo/person-writing-on-white-board-3781338/" data-id="noopener, noreferrer">Jeswin Thomas</a></p>
<p>Más información | <a rel="noopener, noreferrer" href="https://www.scmp.com/tech/tech-trends/article/3319077/google-and-openais-ai-models-win-milestone-gold-international-mathematical-olympiad?module=top_story&;pgtype=section">SCMP</a></p>
<p>En Xataka | <a class="text-outboundlink" href="https://www.xataka.com/investigacion/estos-dos-problemas-han-desconcertado-a-matematicos-durante-decadas-genio-ha-resuelto-plumazo" data-vars-post-title="Estos dos problemas han desconcertado a los matemáticos durante décadas. Un genio los ha resuelto de un plumazo" data-vars-post-url="https://www.xataka.com/investigacion/estos-dos-problemas-han-desconcertado-a-matematicos-durante-decadas-genio-ha-resuelto-plumazo">Estos dos problemas han desconcertado a los matemáticos durante décadas. Un genio los ha resuelto de un plumazo</a></p>
<p> &#8211; <br /> La noticia<br />
 <a href="https://www.xataka.com/robotica-e-ia/oro-historico-ia-olimpiada-matematicas-nos-prepara-para-algo-muy-grande-fin-problemas-matematicos-solucion?utm_source=feedburner&;utm_medium=feed&;utm_campaign=22_Jul_2025"><br />
 <em> El oro histórico de la IA en la Olimpiada de Matemáticas nos prepara para algo muy grande: el fin de los problemas matemáticos sin solución </em><br />
 </a><br />
 fue publicada originalmente en<br />
 <a href="https://www.xataka.com/?utm_source=feedburner&;utm_medium=feed&;utm_campaign=22_Jul_2025"><br />
 <strong> Xataka </strong><br />
 </a><br />
 por <a href="https://www.xataka.com/autor/jclopez?utm_source=feedburner&;utm_medium=feed&;utm_campaign=22_Jul_2025"><br />
 Juan Carlos López<br />
 </a><br />
 . </p>
<p>​A los modelos de inteligencia artificial (IA) disponibles actualmente se les dan bien las matemáticas. De hecho, en octubre de 2024 Meta AI, la IA de Meta, consiguió generalizar la función de Lyapunov. El matemático ruso Aleksander Lyapunov propuso el concepto de la función que lleva su nombre en 1892. Su trabajo es una herramienta muy importante en el estudio de los sistemas dinámicos, pero los matemáticos se han esforzado desde entonces para encontrar un método general que permita identificar las funciones de Lyapunov. Y no han tenido éxito. Sin embargo, Meta AI sí lo ha tenido.</p>
<p>Este no es en absoluto el único éxito reciente de los modelos de IA en el terreno de las matemáticas. Sergei Gukov, profesor de física teórica y matemáticas en el Instituto de Tecnología de California (Caltech), lidera un equipo de investigadores que está buscando la forma de utilizar esta tecnología para resolver problemas matemáticos avanzados que requieren miles, millones, o, incluso, miles de millones de pasos. Actualmente estos científicos están trabajando en la conjetura de Andrews-Curtis, un problema de teoría combinatoria de grupos propuesto hace 60 años.</p>
<p>Las IA de Google y OpenAI han ganado el oro en la Olimpiada de Matemáticas</p>
<p>Gukov y su equipo aún no han conseguido resolver la conjetura principal, pero con la ayuda de la IA han logrado algo importante: han refutado varias familias de problemas relacionados con la conjetura de Andrews-Curtis y conocidos como contraejemplos que han permanecido abiertos durante más de 25 años. Gukov reconoce que los modelos de IA actuales tienen limitaciones importantes a la hora de enfrentarse a problemas matemáticos muy complejos, pero tiene la esperanza de que en el futuro esta tecnología permita al ser humano resolver los problemas matemáticos del milenio.</p>
<p> En Xataka</p>
<p> El reto imposible de China: independizarse al 100% de Occidente para tener una industria de chips a prueba de bombas</p>
<p> La mejor baza que tienen los investigadores para afrontar este reto consiste en instruir a la IA recurriendo al aprendizaje por refuerzo</p>
<p>Según este matemático la mejor baza que tienen los investigadores para afrontar este reto consiste en instruir a la IA recurriendo al aprendizaje por refuerzo. Sea como sea acaba de suceder algo importante. Como os anticipamos en el titular de este artículo, los modelos de IA de Google y OpenAI han ganado el oro en la Olimpiada Internacional de Matemáticas. Ambos consiguieron resolver cinco de los seis problemas planteados utilizando modelos de razonamiento de propósito general capaces de procesar conceptos matemáticos empleando el lenguaje natural. Esta estrategia es diferente a la que han utilizado con anterioridad las compañías de IA en las pruebas matemáticas.</p>
<p>En cualquier caso, según SCMP un experto al que han consultado sostiene que la velocidad con la que se están desarrollando los modelos de IA sugiere que están a menos de un año de ser utilizados para resolver algunos problemas matemáticos que todavía no tienen solución. Como hemos visto, Sergei Gukov defiende esta misma idea, aunque este último matemático no se ha atrevido a precisar el momento en el que la IA comenzará a resolver los problemas en los que los matemáticos llevan décadas enfrascados. Quién sabe, quizá la solución a los problemas del milenio está cerca. Ojalá.</p>
<p>Imagen | Jeswin Thomas</p>
<p>Más información | SCMP</p>
<p>En Xataka | Estos dos problemas han desconcertado a los matemáticos durante décadas. Un genio los ha resuelto de un plumazo</p>
<p> &#8211; La noticia</p>
<p> El oro histórico de la IA en la Olimpiada de Matemáticas nos prepara para algo muy grande: el fin de los problemas matemáticos sin solución </p>
<p> fue publicada originalmente en</p>
<p> Xataka </p>
<p> por<br />
 Juan Carlos López</p>
<p> . </p>
<p>​ </p>
<p>​ </p>