{"id":5384,"date":"2026-08-21T08:03:00","date_gmt":"2026-08-21T06:03:00","guid":{"rendered":"https:\/\/okdiario.com\/techy\/?p=5384"},"modified":"2026-08-20T17:55:21","modified_gmt":"2026-08-20T15:55:21","slug":"los-matematicos-avisan-estamos-cerca-de-que-la-ia-resuelva-un-problema-que-nadie-sepa-explicar","status":"publish","type":"post","link":"https:\/\/okdiario.com\/techy\/los-matematicos-avisan-estamos-cerca-de-que-la-ia-resuelva-un-problema-que-nadie-sepa-explicar\/5384\/","title":{"rendered":"Los matem\u00e1ticos avisan: \u00abEstamos cerca de que la IA resuelva un problema que nadie sepa explicar\u00bb"},"content":{"rendered":"\n

La inteligencia artificial ya razona sobre problemas de investigaci\u00f3n<\/a> que durante mucho tiempo se hab\u00edan considerado un territorio reservado exclusivamente a los especialistas. La pregunta no es solo si puede llegar a una respuesta, sino qu\u00e9 va a pasar cuando ning\u00fan matem\u00e1tico sea capaz de explicar el resultado.<\/p>\n\n\n\n

Terence Tao<\/a> tambi\u00e9n cree que no queda tanto para que esto suceda, pero no cree\u00a0 que sea el fin de las matem\u00e1ticas, m\u00e1s bien habr\u00e1 una diferencia entre demostrar una afirmaci\u00f3n y comprender c\u00f3mo funciona.<\/p>\n\n\n\n

Una advertencia de Tao<\/h2>\n\n\n\n

En una conferencia en el Congreso Internacional de Matem\u00e1ticos de 2026 en Filadelfia, Tao, profesor de la Universidad de California en Los \u00c1ngeles, explic\u00f3 el riesgo que esto supone: \u201cEstamos muy, muy cerca de un escenario en el que un resultado importante se demuestre y verifique y ning\u00fan humano pueda entenderlo ni explicarlo\u201d.<\/p>\n\n\n\n

\n
\n
\n

Lea tambi\u00e9n: Un equipo estadounidense ya corta el metal de un submarino no tripulado de hidr\u00f3geno de 8,8 toneladas y casi 12 metros de longitud, mientras sus rivales en el mismo programa siguen en fase de dise\u00f1o<\/a><\/h4>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n

Una demostraci\u00f3n consiste en una cadena de razonamientos que permite justificar por qu\u00e9 una afirmaci\u00f3n matem\u00e1tica concreta tiene que ser verdadera. Para Tao, la IA puede acelerar su creaci\u00f3n y verificaci\u00f3n, pero la explicaci\u00f3n, la revisi\u00f3n y la incorporaci\u00f3n de dicho hallazgo al  conocimiento tiene que seguir dependiendo de las personas.<\/p>\n\n\n\n

La IA cruza otra frontera<\/h2>\n\n\n\n

OpenAI<\/a> public\u00f3 una prueba de un teorema de Paul Erd\u0151s generada por IA, sobre distancias entre puntos que inclu\u00eda la revisi\u00f3n por parte de matem\u00e1ticos externos. Ya en el mes de agosto se hicieron p\u00fablicos hasta diez resultados que permit\u00edan resolver el problema, o al menos, poder avanzar, junto con sus correspondientes certificados en Lean.<\/p>\n\n\n\n

\n
\n
\n

Lea tambi\u00e9n: Rusia se prepara para reactivar su mayor buque de guerra nuclear: el crucero Almirante Naj\u00edmov volver\u00e1 al servicio activo antes de que acabe el a\u00f1o tras m\u00e1s de 20 a\u00f1os parado<\/a><\/h4>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n

Es importante diferenciar entre la elaboraci\u00f3n de una demostraci\u00f3n s\u00f3lida con la obtenci\u00f3n de una conclusi\u00f3n ya asentada. En su ensayo First Proof de febrero, OpenAI lleg\u00f3 a la conclusi\u00f3n de que una de sus diez propuestas no era correcta y que, adem\u00e1s, el proceso no hab\u00eda sido tan controlado como se pretend\u00eda.<\/p>\n\n\n\n

Lean comprueba, no explica<\/h2>\n\n\n\n

Lean <\/a>es un asistente de demostraci\u00f3n de c\u00f3digo abierto capaz de comprobar que cada paso sea una consecuencia de las definiciones, teoremas y axiomas dados, como si se tratara de una comprobaci\u00f3n mec\u00e1nica extremadamente estricta.<\/p>\n\n\n\n

\n
\n
\n

Lea tambi\u00e9n: La app de tr\u00e1fico y radares m\u00e1s usada del mundo se ha transformado en el arma secreta de los coches el\u00e9ctricos: as\u00ed elimina Waze la ansiedad de quedarte tirado sin bater\u00eda en mitad de la carretera<\/a><\/h4>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n

Pero esta validaci\u00f3n no asegura que el enunciado formal represente la idea humana que dio lugar a \u00e9l ni se pueda comprender la prueba. El ordenador puede dar fe de que la operaci\u00f3n se sostiene y su vez, los matem\u00e1ticos pueden explicar cu\u00e1l es el motivo de que se formulara de esa manera y qu\u00e9 permite hacer a continuaci\u00f3n.<\/p>\n\n\n\n

Dos futuros posibles<\/h2>\n\n\n\n

Timothy Gowers<\/a> prev\u00e9 un avance matem\u00e1tico enorme con una comunidad incapaz de hacerle frente. Ser\u00eda un archivo repleto de resultados casi olvidados, como una biblioteca cuyos libros nadie sabe volver a utilizar. Daniel Litt, profesor de la Universidad de Toronto, plantea la lectura contraria, en su Biblioteca de Babel, una colecci\u00f3n de pruebas y gu\u00edas plantear\u00eda nuevas preguntas y habr\u00eda que buscar nuevas respuestas a comprenderlas.<\/p>\n\n\n\n

Las reglas que pide Leiden<\/h2>\n\n\n\n

Leiden realiz\u00f3 una declaraci\u00f3n el pasado mes de junio que cuenta con el respaldo de la Uni\u00f3n Matem\u00e1tica Internacional, en la que pide un ejercicio de transparencia, de correcta atribuci\u00f3n, la revisi\u00f3n y correcci\u00f3n a cargo de los humanos. Esta declaraci\u00f3n no pretende suprimir la IA, quiere impedir que se pierda el criterio.<\/p>\n\n\n\n

\n
\n
\n

Lea tambi\u00e9n: Millones de usuarios ven ese reloj junto a los mensajes de WhatsApp sin saber realmente qu\u00e9 significa: as\u00ed funcionan los mensajes temporales de WhatsApp que se borran incluso para quien los env\u00eda<\/a><\/h4>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n

El reto no ser\u00e1 obtener m\u00e1s teoremas, sino conservar el aprendizaje, la explicaci\u00f3n y una comunidad capaz de comprender qu\u00e9 significan.<\/p>\n\n\n\n

La presentaci\u00f3n oficial de Terence Tao<\/em><\/a> se ha publicado como parte de su conferencia en el Congreso Internacional de Matem\u00e1ticos de 2026.<\/p>\n","protected":false},"excerpt":{"rendered":"

La inteligencia artificial ya razona sobre problemas de investigaci\u00f3n que durante mucho tiempo se hab\u00edan considerado un territorio reservado exclusivamente … <\/p>\n

Read more<\/a><\/p>\n","protected":false},"author":3,"featured_media":5385,"comment_status":"open","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-5384","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-inteligencia-artificial","resize-featured-image"],"_links":{"self":[{"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/posts\/5384","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/comments?post=5384"}],"version-history":[{"count":1,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/posts\/5384\/revisions"}],"predecessor-version":[{"id":5386,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/posts\/5384\/revisions\/5386"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/media\/5385"}],"wp:attachment":[{"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/media?parent=5384"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/categories?post=5384"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/tags?post=5384"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}