{"id":16889,"date":"2026-04-13T08:52:00","date_gmt":"2026-04-13T12:52:00","guid":{"rendered":"https:\/\/ermdigital.com\/index.php\/2026\/04\/13\/ia-china-resuelve-conjetura-matematica-de-2014-sin-intervencion-humana\/"},"modified":"2026-04-13T08:52:00","modified_gmt":"2026-04-13T12:52:00","slug":"ia-china-resuelve-conjetura-matematica-de-2014-sin-intervencion-humana","status":"publish","type":"post","link":"https:\/\/ermdigital.com\/index.php\/2026\/04\/13\/ia-china-resuelve-conjetura-matematica-de-2014-sin-intervencion-humana\/","title":{"rendered":"IA china resuelve conjetura matem\u00e1tica de 2014 sin intervenci\u00f3n humana"},"content":{"rendered":"

Un equipo de investigadores liderado por la Universidad de Pek\u00edn ha desarrollado un sistema de inteligencia artificial (IA)<\/a> capaz de resolver y verificar un problema matem\u00e1tico abierto sin intervenci\u00f3n humana relevante.\u00a0<\/p>\n

El modelo logr\u00f3 en horas formalizar la soluci\u00f3n de una conjetura planteada en 2014 mediante un sistema de doble agente que combina razonamiento en lenguaje natural y verificaci\u00f3n formal, inform\u00f3 este lunes el diario hongkon\u00e9s South China Morning Post.<\/em><\/p>\n

IA resuelve una conjetura matem\u00e1tica de 2014<\/strong><\/h2>\n

El sistema, descrito en un art\u00edculo preliminar publicado recientemente en el repositorio arXiv,<\/em><\/a> abord\u00f3 un problema de \u00e1lgebra conmutativa propuesto por el matem\u00e1tico estadounidense Dan Anderson y complet\u00f3 su verificaci\u00f3n en unas 80 horas de ejecuci\u00f3n.<\/p>\n

De acuerdo con los investigadores, el marco integra un agente de razonamiento informal, encargado de explorar estrategias y construir posibles demostraciones, con otro de verificaci\u00f3n formal que traduce esas pruebas a un formato matem\u00e1tico riguroso y comprobable por m\u00e1quina.<\/p>\n

Sistema de doble agente: razonamiento y verificaci\u00f3n autom\u00e1tica <\/strong><\/h2>\n

El equipo se\u00f1al\u00f3 que la \u00fanica intervenci\u00f3n humana consisti\u00f3 en facilitar el acceso a documentos restringidos que el sistema no pudo obtener por s\u00ed mismo, sin necesidad de juicio matem\u00e1tico durante el proceso.<\/p>\n

Los autores sostienen que este enfoque permite automatizar tareas que hasta ahora requer\u00edan colaboraci\u00f3n entre especialistas y supervisi\u00f3n constante, aunque el trabajo a\u00fan no ha sido sometido a revisi\u00f3n por pares.<\/p>\n

Retos y l\u00edmites: sin revisi\u00f3n por pares a\u00fan <\/strong><\/h2>\n

El desarrollo se enmarca en el avance de los modelos de lenguaje y los sistemas basados en agentes aplicados a problemas de investigaci\u00f3n matem\u00e1tica, un \u00e1mbito en el que persisten retos como la fiabilidad de las demostraciones generadas por IA.<\/a><\/p>\n

Los investigadores indicaron que la combinaci\u00f3n de razonamiento en lenguaje natural y verificaci\u00f3n formal podr\u00eda facilitar la resoluci\u00f3n de problemas complejos y reforzar la validaci\u00f3n de resultados en este campo.<\/p>\n

China y la carrera global por la IA matem\u00e1tica <\/strong><\/h2>\n

El desarrollo se produce tras la irrupci\u00f3n en los \u00faltimos meses de nuevos modelos chinos como DeepSeek<\/a> y los impulsados por grandes tecnol\u00f3gicas como Alibaba<\/a> o ByteDance,<\/a> que han elevado la visibilidad internacional del sector y reavivado la competencia tecnol\u00f3gica con Estados Unidos.\u00a0<\/p>\n

La IA fue, adem\u00e1s, en marzo pasado, uno de los ejes de la reuni\u00f3n anual de la Asamblea Nacional Popular, en la que Pek\u00edn reafirm\u00f3 su apuesta por integrar esta tecnolog\u00eda en distintos sectores de la econom\u00eda y fomentar el empleo vinculado a ella.<\/p>\n

FEW (EFE, South China Morning Post<\/em>)<\/p>\n

\u00a0<\/p>\n","protected":false},"excerpt":{"rendered":"

Un equipo de investigadores liderado por la Universidad de Pek\u00edn ha desarrollado un sistema de inteligencia artificial (IA) capaz de resolver y verificar un problema matem\u00e1tico abierto sin intervenci\u00f3n humana relevante.\u00a0 El modelo logr\u00f3 en horas formalizar la soluci\u00f3n de una conjetura planteada en 2014 mediante un sistema de doble agente que combina razonamiento en […]<\/p>\n","protected":false},"author":1,"featured_media":16891,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"amp_status":"","footnotes":""},"categories":[6],"tags":[],"class_list":["post-16889","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ciencia-y-tecnologia"],"_links":{"self":[{"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/posts\/16889","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/comments?post=16889"}],"version-history":[{"count":0,"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/posts\/16889\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/media\/16891"}],"wp:attachment":[{"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/media?parent=16889"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/categories?post=16889"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ermdigital.com\/index.php\/wp-json\/wp\/v2\/tags?post=16889"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}