{"id":37797,"date":"2026-05-27T12:52:00","date_gmt":"2026-05-27T16:52:00","guid":{"rendered":"https:\/\/ermdigital.com\/?p=37797"},"modified":"2026-05-27T12:52:00","modified_gmt":"2026-05-27T16:52:00","slug":"la-ia-logra-su-mayor-avance-matematico-hasta-ahora","status":"publish","type":"post","link":"https:\/\/ermdigital.com\/?p=37797","title":{"rendered":"La IA logra su mayor avance matem\u00e1tico hasta ahora"},"content":{"rendered":"<p>Un modelo de <a class=\"internal-link\" href=\"https:\/\/www.dw.com\/es\/inteligencia-artificial-ia\/t-63771882\">inteligencia artificial (IA)<\/a> acaba de conseguir algo que durante d\u00e9cadas muchos matem\u00e1ticos consideraron pr\u00e1cticamente imposible.<\/p>\n<p><a rel=\"noopener follow\" target=\"_blank\" class=\"external-link\" href=\"https:\/\/openai.com\/index\/model-disproves-discrete-geometry-conjecture\/\" title=\"Enlace externo \u2014 OpenAI anunci\u00f3\">OpenAI anunci\u00f3<\/a> que uno de sus sistemas logr\u00f3 refutar una conjetura ampliamente aceptada desde hace cerca de 80 a\u00f1os alrededor de un famoso problema geom\u00e9trico asociado al c\u00e9lebre matem\u00e1tico h\u00fangaro Paul Erd\u0151s, cuya intuici\u00f3n hab\u00eda guiado buena parte de las investigaciones sobre este tema durante generaciones.<\/p>\n<p>La pregunta en cuesti\u00f3n, en apariencia, es sencilla. Si se colocan puntos sobre un plano, \u00bfcu\u00e1ntos pares pueden quedar exactamente a la misma distancia? Erd\u0151s formul\u00f3 el llamado \"problema de la distancia unitaria\" en 1946 con la sospecha de que la mejor forma de maximizar esas conexiones era organizar los puntos en una especie de cuadr\u00edcula. Durante d\u00e9cadas, muchos matem\u00e1ticos creyeron que su intuici\u00f3n era correcta.<\/p>\n<h2><strong>Un camino inesperado: teor\u00eda algebraica de n\u00fameros <\/strong><\/h2>\n<p>El camino que tom\u00f3 la IA result\u00f3 tan sorprendente como el propio resultado. <a rel=\"noopener follow\" target=\"_blank\" class=\"external-link\" href=\"https:\/\/openai.com\/index\/model-disproves-discrete-geometry-conjecture\/\" title=\"Enlace externo \u2014 Seg\u00fan explic\u00f3 la compa\u00f1\u00eda,\">Seg\u00fan explic\u00f3 la compa\u00f1\u00eda,<\/a> el sistema descubri\u00f3 configuraciones mucho m\u00e1s eficientes recurriendo a la teor\u00eda algebraica de n\u00fameros, una rama extremadamente abstracta de las matem\u00e1ticas que hasta ahora no hab\u00eda desempe\u00f1ado un papel central en este problema geom\u00e9trico.\u00a0<\/p>\n<p>As\u00ed, en lugar de seguir las estrategias tradicionales basadas en cuadr\u00edculas, el modelo trabaj\u00f3 con estructuras matem\u00e1ticas mucho m\u00e1s complejas y logr\u00f3 transformarlas en nuevas disposiciones de puntos dentro del plano. <a rel=\"noopener follow\" target=\"_blank\" class=\"external-link\" href=\"https:\/\/cdn.openai.com\/pdf\/74c24085-19b0-4534-9c90-465b8e29ad73\/unit-distance-proof.pdf\" title=\"Enlace externo \u2014 El resultado\">El resultado<\/a> fue una construcci\u00f3n tan intrincada que, seg\u00fan investigadores vinculados al proyecto, ser\u00eda extremadamente dif\u00edcil representarla de forma clara sobre una hoja de papel.<\/p>\n<p>La reacci\u00f3n entre los matem\u00e1ticos fue inmediata. \"Es un problema que no esperaba ver resuelto en mi vida\", dijo Misha Rudnev, de la Universidad de Bristol, a <em>New Scientist<\/em>. \"Es absolutamente una bomba\".<\/p>\n<p>El medallista Fields Timothy Gowers \u2013galardonado con el premio m\u00e1s prestigioso de las matem\u00e1ticas, considerado por muchos el equivalente al <a class=\"internal-link\" href=\"https:\/\/www.dw.com\/es\/premio-nobel\/t-17409573\">Nobel<\/a> en esta disciplina\u2013 escribi\u00f3 que, si un investigador humano hubiera presentado este trabajo a <em>Annals of Mathematics<\/em>, una de las revistas matem\u00e1ticas m\u00e1s importantes del mundo, lo habr\u00eda recomendado para publicaci\u00f3n sin dudarlo.<\/p>\n<p>En la misma l\u00ednea, el matem\u00e1tico Will Sawin, de la Universidad de Princeton, dijo a <em>New Scientist <\/em>que se trataba del \"logro m\u00e1s significativo de la IA\" en matem\u00e1ticas hasta la fecha.<\/p>\n<h2><strong>Un modelo de prop\u00f3sito general<\/strong><\/h2>\n<p>Lo m\u00e1s sorprendente es que <a class=\"internal-link\" href=\"https:\/\/www.dw.com\/es\/qu%C3%A9-hay-detr%C3%A1s-del-revuelo-que-est%C3%A1n-causando-las-nuevas-capacidades-de-la-ia\/a-76120559\">OpenAI<\/a> asegura que el modelo no fue entrenado espec\u00edficamente para investigar matem\u00e1ticas avanzadas. Era, seg\u00fan la empresa, un sistema de razonamiento general. Aun as\u00ed, logr\u00f3 producir cientos de p\u00e1ginas de argumentos y c\u00e1lculos <a rel=\"noopener follow\" target=\"_blank\" class=\"external-link\" href=\"https:\/\/cdn.openai.com\/pdf\/74c24085-19b0-4534-9c90-465b8e29ad73\/unit-distance-remarks.pdf\" title=\"Enlace externo \u2014 que posteriormente fueron revisados y validados\">que posteriormente fueron revisados y validados<\/a> por especialistas externos encargados de examinar la demostraci\u00f3n.<\/p>\n<p>El avance, sin embargo, no significa que el problema haya quedado completamente cerrado. La IA no encontr\u00f3 la respuesta definitiva sobre cu\u00e1l es el m\u00e1ximo exacto de pares posibles, sino que demostr\u00f3 que el l\u00edmite propuesto por Erd\u0151s era demasiado bajo. Es decir, la famosa intuici\u00f3n del matem\u00e1tico estaba equivocada.<\/p>\n<h2><strong>\u00bfPor qu\u00e9 ning\u00fan matem\u00e1tico lo intent\u00f3 antes? <\/strong><\/h2>\n<p>Varios expertos subrayaron que el avance no consisti\u00f3 en inventar matem\u00e1ticas completamente nuevas, sino en combinar ideas ya existentes de maneras que los humanos nunca hab\u00edan explorado. Ah\u00ed parece estar una de las grandes fortalezas actuales de la IA.<\/p>\n<p>Durante d\u00e9cadas, muchos matem\u00e1ticos invirtieron enormes esfuerzos en intentar demostrar que Erd\u0151s ten\u00eda raz\u00f3n, no en refutarlo. Y quienes s\u00ed buscaron contraejemplos dif\u00edcilmente habr\u00edan seguido durante demasiado tiempo un camino tan complejo y poco prometedor.<\/p>\n<p>La IA, en cambio, puede explorar l\u00edneas de razonamiento matem\u00e1tico durante mucho m\u00e1s tiempo y seguir investigando rutas que muchos investigadores humanos probablemente habr\u00edan abandonado antes.<\/p>\n<p>Thomas Bloom, matem\u00e1tico especializado en problemas de Erd\u0151s, explic\u00f3 en <em>The Guardian<\/em> que el sistema obtuvo resultados \"perseverando en caminos que un humano podr\u00eda haber descartado\". Por su parte, Jacob Tsimerman resumi\u00f3 a <em>Scientific American<\/em> la diferencia con una imagen llamativa: las IA son capaces de explorar \"aguas m\u00e1s peligrosas\" durante mucho m\u00e1s tiempo sin agotarse.<\/p>\n<p>Eso no significa que los matem\u00e1ticos humanos est\u00e9n quedado fuera de juego. De hecho, varios investigadores recalcaron que la demostraci\u00f3n original tuvo que ser revisada, reorganizada y refinada por especialistas antes de hacerse p\u00fablica.\u00a0<\/p>\n<p>Melanie Matchett Wood tambi\u00e9n advirti\u00f3 sobre un posible problema en la forma en que opera el sistema. Seg\u00fan explic\u00f3 a <em>Scientific American,<\/em> la IA tend\u00eda a presentar ideas ya existentes en la literatura matem\u00e1tica como si fueran completamente originales. \u201cSi un humano hubiera estado familiarizado con esos resultados y no los hubiera acreditado, ser\u00eda una negligencia profesional\u201d, se\u00f1al\u00f3.<\/p>\n<h2><strong>\u00bfPuede la IA reemplazar la creatividad matem\u00e1tica humana? <\/strong><\/h2>\n<p>El consenso general parece claro. Muchos consideran este episodio como el primer gran resultado matem\u00e1tico obtenido de forma aut\u00f3noma por una inteligencia artificial en un problema abierto de gran importancia. Y aunque nadie cree todav\u00eda que los modelos actuales puedan reemplazar la creatividad humana m\u00e1s profunda, el anuncio deja una sensaci\u00f3n dif\u00edcil de ignorar: la IA ya no solo ayuda a calcular. Ahora empieza tambi\u00e9n a descubrir.<\/p>\n<p>Daniel Litt, matem\u00e1tico de la Universidad de Toronto que particip\u00f3 en la revisi\u00f3n externa de la demostraci\u00f3n y fue consultado por<em> Scientific American,<\/em> resumi\u00f3 el momento con una mezcla de entusiasmo e incomodidad. \"Este es el \u00fanico resultado interesante producido de forma aut\u00f3noma por la IA hasta ahora\", afirm\u00f3. Pero enseguida a\u00f1adi\u00f3 una frase a\u00fan m\u00e1s inquietante: \"Mi sospecha es que estamos a punto de descubrir que, en realidad, no son tan raros\".<\/p>\n<p>\u00a0<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Un modelo de inteligencia artificial (IA) acaba de conseguir algo que durante d\u00e9cadas muchos matem\u00e1ticos consideraron pr\u00e1cticamente imposible. OpenAI anunci\u00f3 que uno de sus sistemas logr\u00f3 refutar una conjetura ampliamente aceptada desde hace cerca de 80 a\u00f1os alrededor de un famoso problema geom\u00e9trico asociado al c\u00e9lebre matem\u00e1tico h\u00fangaro Paul Erd\u0151s, cuya intuici\u00f3n hab\u00eda guiado buena [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":37798,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"amp_status":"","footnotes":""},"categories":[6],"tags":[],"class_list":["post-37797","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ciencia-y-tecnologia"],"_links":{"self":[{"href":"https:\/\/ermdigital.com\/index.php?rest_route=\/wp\/v2\/posts\/37797","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ermdigital.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ermdigital.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ermdigital.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ermdigital.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=37797"}],"version-history":[{"count":0,"href":"https:\/\/ermdigital.com\/index.php?rest_route=\/wp\/v2\/posts\/37797\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/ermdigital.com\/index.php?rest_route=\/wp\/v2\/media\/37798"}],"wp:attachment":[{"href":"https:\/\/ermdigital.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=37797"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ermdigital.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=37797"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ermdigital.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=37797"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}