{"id":2967,"date":"2026-04-12T12:48:00","date_gmt":"2026-04-12T10:48:00","guid":{"rendered":"https:\/\/techy44.okdiario.com\/?p=2967"},"modified":"2026-04-10T14:52:14","modified_gmt":"2026-04-10T12:52:14","slug":"por-primera-vez-en-la-historia-chatgpt-ha-resuelto-un-problema-matematico-sin-solucion-los-cientificos-no-dan-credito","status":"publish","type":"post","link":"https:\/\/okdiario.com\/techy\/por-primera-vez-en-la-historia-chatgpt-ha-resuelto-un-problema-matematico-sin-solucion-los-cientificos-no-dan-credito\/2967\/","title":{"rendered":"Por primera vez en la historia ChatGPT ha resuelto un problema matem\u00e1tico sin soluci\u00f3n: los cient\u00edficos no dan cr\u00e9dito"},"content":{"rendered":"\n

\u00bfPuede una IA hacer algo m\u00e1s que resolver ejercicios ya conocidos y, de verdad, ayudar a demostrar una idea nueva? Un equipo de la Vrije Universiteit Brussel, en B\u00e9lgica, cuenta que un modelo comercial de ChatGPT<\/a> particip\u00f3 en el cierre de una conjetura reciente.<\/p>\n\n\n\n

La historia suena a ciencia ficci\u00f3n, pero el propio grupo insiste en el matiz importante. La IA acelera la b\u00fasqueda de una demostraci\u00f3n, pero el trabajo de revisar cada paso y dejarlo sin grietas sigue recayendo en personas.<\/p>\n\n\n\n

De conjetura a teorema<\/h2>\n\n\n\n

La conjetura original la plantearon en 2024 los matem\u00e1ticos Andr\u00e9 C. M. Ran y Zhixuan \u201cEmily\u201d Teng, en un art\u00edculo sobre \u201cpatrones de ceros\u201d en matrices, es decir, tablas de n\u00fameros donde algunas posiciones est\u00e1n obligadas a ser cero. Una conjetura es, por lo general, una idea que parece cierta porque encaja con muchos ejemplos, pero que todav\u00eda no tiene una prueba formal.<\/p>\n\n\n\n

Cuando alguien consigue una demostraci\u00f3n completa, esa conjetura pasa a ser un teorema, una afirmaci\u00f3n que ya se puede usar con confianza en otros trabajos. En este caso, el objetivo era describir con exactitud qu\u00e9 valores pod\u00edan aparecer al analizar esas matrices y d\u00f3nde quedaban \u201cdibujados\u201d en el plano. Esos n\u00fameros, llamados valores propios, funcionan como una huella del ritmo del sistema.<\/p>\n\n\n\n

\n
\n
\n

Lea tambi\u00e9n: Hace 30 a\u00f1os China vio la oportunidad, ahora tiene un motor de respiraci\u00f3n atmosf\u00e9rica que impulsa misiles y aviones a velocidades superiores a las del Mach 6<\/a><\/h4>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n

Ese dibujo no es solo est\u00e9tico. En matem\u00e1ticas, esos valores ayudan a entender c\u00f3mo cambia un sistema por pasos, como una cadena de probabilidades que se repite una y otra vez hasta estabilizarse.<\/p>\n\n\n\n

La pista del teorema de Karpelevich<\/h2>\n\n\n\n

El nuevo resultado no aparece de la nada. Una pieza de fondo es el teorema de Karpelevich, publicado en 1951, que describe en qu\u00e9 zona del plano pueden caer ciertos valores asociados a matrices de probabilidades.<\/p>\n\n\n\n

Para quien quiera el mapa sin perderse, hay trabajos modernos que reordenan esa teor\u00eda y explican mejor la llamada \u201cregi\u00f3n de Karpelevich\u201d. Un ejemplo reciente es un art\u00edculo de 2024 en Linear Algebra and its Applications que revisa el teorema y su frontera con lenguaje m\u00e1s actual.<\/p>\n\n\n\n

Qu\u00e9 hizo ChatGPT-5.2 en el estudio<\/h2>\n\n\n\n

La investigaci\u00f3n de la VUB se presenta como un caso de estudio y est\u00e1 firmada por Brecht Verbeken, Brando Vagenende, Marie-Anne Guerry, Andres Algaba y Vincent Ginis. En la prepublicaci\u00f3n, los autores describen c\u00f3mo ChatGPT-5.2<\/a> Thinking ayud\u00f3 a generar, revisar y reparar borradores de la demostraci\u00f3n hasta llegar a una versi\u00f3n verificable.<\/p>\n\n\n\n

El m\u00e9todo se parece a una revisi\u00f3n de apuntes antes de un examen, pero a lo bestia. El modelo propone una ruta, el equipo busca huecos l\u00f3gicos, y luego se vuelve a intentar con un borrador mejor, una y otra vez.<\/p>\n\n\n\n

\n
\n
\n

Lea tambi\u00e9n: Espa\u00f1a en el punto de mira: Santa B\u00e1rbara insta al Gobierno a convertir las f\u00e1bricas de coches en plantas de blindados militares<\/a><\/h4>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n

Aun as\u00ed, no se trata de apretar un bot\u00f3n y esperar un teorema nuevo. Los investigadores humanos gu\u00edan el problema, deciden qu\u00e9 ideas merecen seguirse y, sobre todo, son los que firman la coherencia final.<\/p>\n\n\n\n

Vibe-proving y el papel de la intuici\u00f3n<\/h2>\n\n\n\n

El equipo llama a este estilo de trabajo \u201cvibe-proving\u201d, un nombre inspirado en la programaci\u00f3n por conversaci\u00f3n que algunos ya conocen como \u201cvibe-coding<\/a>\u201d. En su comunicado, la VUB explica que el resultado final sali\u00f3 tras siete sesiones de chat y cuatro versiones del argumento, con ChatGPT aportando velocidad y los expertos humanos aportando el control de calidad.<\/p>\n\n\n\n

Brecht Verbeken lo resumi\u00f3 con una frase muy clara, \u201cI had long suspected that ChatGPT could help me prove unsolved mathematical problems, and yet I was surprised at how efficiently that worked out\u201d. Vincent Ginis a\u00f1adi\u00f3 otra idea que el campo discute desde hace a\u00f1os, \u201cWe often hear how people think that the creativity of systems is fundamentally limited to reformulations of their training data, glad we can dispel that misconception with our work as well\u201d.<\/p>\n\n\n\n

\n
\n
\n

Lea tambi\u00e9n: Es oficial: Google escucha todas tus conversaciones y esto es lo que tienes que hacer para proteger tu privacidad<\/a><\/h4>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n

En el mismo texto, Andres Algaba pone el freno donde toca, \u201cFormulating candidate proofs can now be much faster, but the bottleneck then becomes human verification\u201d. Dicho en cristiano, se puede llegar antes a una prueba candidata, pero comprobarla sigue llevando tiempo.<\/p>\n\n\n\n

El cuello de botella sigue siendo humano<\/h2>\n\n\n\n

Aqu\u00ed est\u00e1 la parte menos glamurosa. Una demostraci\u00f3n matem\u00e1tica no vale porque suene bien, vale porque cada paso se sostiene, incluso cuando alguien la intenta romper con ejemplos raros o casos l\u00edmite.<\/p>\n\n\n\n

\n
\n
\n

Lea tambi\u00e9n: Las Ray-Ban de siempre tienen los d\u00edas contados: Meta confirma que llegan los cristales graduados para sus gafas inteligentes<\/a><\/h4>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n

Por eso, el propio trabajo insiste en que la IA no sustituye al matem\u00e1tico. En el mejor escenario, le ahorra horas de exploraci\u00f3n y le obliga a escribir con m\u00e1s claridad, pero el control final sigue siendo responsabilidad humana.<\/p>\n\n\n\n

Tambi\u00e9n hay una advertencia pr\u00e1ctica. El estudio es una prepublicaci\u00f3n, as\u00ed que todav\u00eda puede cambiar si aparecen errores o mejoras en la revisi\u00f3n de la comunidad.<\/p>\n\n\n\n

Un modelo comercial pensado para razonar m\u00e1s<\/h2>\n\n\n\n

El caso tambi\u00e9n muestra por qu\u00e9 importa el tipo de modelo. OpenAI presenta GPT-5.2 Thinking como una variante orientada a tareas largas, con mejoras en razonamiento y menos alucinaciones<\/a> que versiones anteriores, aunque sigue siendo imperfecta y recomienda verificar en trabajos cr\u00edticos.<\/p>\n\n\n\n

\n
\n
\n

Lea tambi\u00e9n: Despu\u00e9s de subir el precio de la PS5 Sony ha tomado una decisi\u00f3n peor: suspendida la venta de memoria SD y no hay fecha de vuelta<\/a><\/h4>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n

Si esa mezcla madura, podr\u00eda cambiar c\u00f3mo trabajan peque\u00f1os equipos de investigaci\u00f3n, sobre todo en problemas donde la parte creativa es proponer caminos y la parte dura es demostrar que no hay trampas. Al final del d\u00eda, el debate no es si la IA \u201cpiensa\u201d como una persona, sino c\u00f3mo se integra sin bajar el list\u00f3n.<\/p>\n\n\n\n

El estudio principal se ha publicado en arXiv<\/em><\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"

\u00bfPuede una IA hacer algo m\u00e1s que resolver ejercicios ya conocidos y, de verdad, ayudar a demostrar una idea nueva? … <\/p>\n

Read more<\/a><\/p>\n","protected":false},"author":7,"featured_media":2968,"comment_status":"open","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-2967","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\/2967","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\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/comments?post=2967"}],"version-history":[{"count":2,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/posts\/2967\/revisions"}],"predecessor-version":[{"id":2970,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/posts\/2967\/revisions\/2970"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/media\/2968"}],"wp:attachment":[{"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/media?parent=2967"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/categories?post=2967"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/okdiario.com\/techy\/wp-json\/wp\/v2\/tags?post=2967"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}