{"id":14153,"date":"2026-08-03T10:18:12","date_gmt":"2026-08-03T13:18:12","guid":{"rendered":"http:\/\/laf5.publisher.highstack.com.ar\/?p=14153"},"modified":"2026-08-03T10:18:12","modified_gmt":"2026-08-03T13:18:12","slug":"openai-presenta-astra-una-ia-que-podria-estar-acercando-a-las-matematicas-a-su-momento-deep-blue","status":"publish","type":"post","link":"https:\/\/laf5.publisher.highstack.com.ar\/?p=14153","title":{"rendered":"OpenAI presenta Astra, una IA que podr\u00eda estar acercando a las matem\u00e1ticas a su \u201cmomento Deep Blue\u201d"},"content":{"rendered":"<p><img decoding=\"async\" src=\"https:\/\/es.gizmodo.com\/app\/uploads\/2026\/08\/Gizmodo-64-1024x683.jpg\" \/><\/p>\n<div>\n<p class=\"isSelectedEnd\">En 1997, Deep Blue derrot\u00f3 a Garri Kasp\u00e1rov y demostr\u00f3 que una m\u00e1quina pod\u00eda superar al mejor ser humano en ajedrez. Casi tres d\u00e9cadas despu\u00e9s, OpenAI cree estar acerc\u00e1ndose a otro punto de inflexi\u00f3n, esta vez en un terreno mucho m\u00e1s dif\u00edcil de evaluar: la investigaci\u00f3n matem\u00e1tica.<\/p>\n<p class=\"isSelectedEnd\">La compa\u00f1\u00eda present\u00f3 el 1 de agosto diez nuevos resultados obtenidos por una versi\u00f3n interna de Astra, al que describe como su pr\u00f3ximo gran modelo. Los trabajos abarcan geometr\u00eda en altas dimensiones, teor\u00eda de c\u00f3digos, grupos, circuitos aritm\u00e9ticos, computaci\u00f3n cu\u00e1ntica, criptograf\u00eda basada en ret\u00edculos y combinatoria.<\/p>\n<p class=\"isSelectedEnd\">OpenAI sostiene que cada resultado resuelve o consigue un progreso importante sobre una pregunta abierta de larga duraci\u00f3n. Eso no significa que los diez problemas hayan quedado cerrados definitivamente: algunos corresponden a demostraciones o refutaciones completas, mientras que otros mejoran l\u00edmites matem\u00e1ticos conocidos.<\/p>\n<h2>Diez resultados por unos 2.000 d\u00f3lares en tokens<\/h2>\n<p class=\"isSelectedEnd\">Seg\u00fan OpenAI, la cantidad total de tokens utilizada para encontrar las soluciones tendr\u00eda un coste aproximado de 2.000 d\u00f3lares calculado con las tarifas de la API de Sol.<\/p>\n<p class=\"isSelectedEnd\">La cifra resulta llamativa, pero no representa el coste completo de los descubrimientos. No incluye el entrenamiento del modelo, la infraestructura inform\u00e1tica, el trabajo de los investigadores, la preparaci\u00f3n de los manuscritos ni el proceso de comprobaci\u00f3n.<\/p>\n<p class=\"isSelectedEnd\">Entre los resultados anunciados aparece una construcci\u00f3n expl\u00edcita de grupos no s\u00f3ficos, una cuesti\u00f3n central de la teor\u00eda de grupos; una refutaci\u00f3n de la conjetura de rigidez de Connes; nuevos l\u00edmites para circuitos aritm\u00e9ticos; avances relacionados con el problema del vector m\u00e1s cercano, relevante para la criptograf\u00eda poscu\u00e1ntica; y la resoluci\u00f3n de los problemas 146, 180 y 183 de Erd\u0151s.<\/p>\n<p class=\"isSelectedEnd\">Este \u00faltimo grupo incluye un nuevo l\u00edmite inferior para los n\u00fameros de Ramsey multicolor, uno de los campos m\u00e1s conocidos de la combinatoria. OpenAI tambi\u00e9n afirma haber determinado la fuerza asint\u00f3tica de un importante m\u00e9todo utilizado para estudiar el empaquetamiento de esferas en dimensiones elevadas.<\/p>\n<blockquote class=\"twitter-tweet\" data-width=\"500\" data-dnt=\"true\">\n<p lang=\"es\" dir=\"ltr\">OpenAI presenta Astra, una IA que habr\u00eda resuelto o impulsado la resoluci\u00f3n de 10 problemas matem\u00e1ticos estancados durante a\u00f1os. El anuncio entusiasma a parte de la comunidad cient\u00edfica, aunque muchos expertos piden revisar los resultados antes de darlos por definitivos.\u2026 <a href=\"https:\/\/t.co\/kjG8TKzxXk\">pic.twitter.com\/kjG8TKzxXk<\/a><\/p>\n<p>\u2014 HTCMania (@htcmania) August 3, 2026<\/p>\n<\/blockquote>\n<h2>La IA gener\u00f3 los argumentos y tambi\u00e9n los formaliz\u00f3<\/h2>\n<p class=\"isSelectedEnd\">La compa\u00f1\u00eda explica que Astra produjo los argumentos matem\u00e1ticos iniciales. Posteriormente, investigadores humanos trabajaron con el mismo modelo para convertirlos en manuscritos m\u00e1s legibles.<\/p>\n<p class=\"isSelectedEnd\">Despu\u00e9s, el sistema formaliz\u00f3 cada argumento mediante un certificado en Lean, un lenguaje y asistente de pruebas capaz de comprobar autom\u00e1ticamente si una demostraci\u00f3n se deriva correctamente de las definiciones y supuestos introducidos. OpenAI tambi\u00e9n public\u00f3 narraciones generadas por el modelo sobre el proceso seguido para encontrar cada soluci\u00f3n.<\/p>\n<p class=\"isSelectedEnd\">La formalizaci\u00f3n aporta una garant\u00eda mucho m\u00e1s fuerte que una respuesta escrita en lenguaje natural, porque permite detectar pasos l\u00f3gicos inv\u00e1lidos. Sin embargo, no responde por s\u00ed sola a todas las preguntas: los matem\u00e1ticos todav\u00eda deben revisar si las definiciones expresan correctamente el problema original, si los supuestos utilizados son adecuados y qu\u00e9 importancia tiene cada resultado dentro de su campo.<\/p>\n<p class=\"isSelectedEnd\">OpenAI afirma que ayud\u00f3 a preparar y formalizar los trabajos y que asume la responsabilidad por su correcci\u00f3n, mientras atribuye al modelo la generaci\u00f3n de los argumentos matem\u00e1ticos.<\/p>\n<h2>Por qu\u00e9 todav\u00eda hace falta cautela<\/h2>\n<p class=\"isSelectedEnd\">La experiencia reciente demuestra que incluso los modelos m\u00e1s avanzados pueden producir pruebas convincentes que contienen errores.<\/p>\n<p class=\"isSelectedEnd\">En febrero, OpenAI present\u00f3 intentos para diez problemas del desaf\u00edo First Proof. Inicialmente consider\u00f3 probable que una de las soluciones fuera correcta, pero despu\u00e9s de recibir comentarios de especialistas reconoci\u00f3 que era err\u00f3nea. La compa\u00f1\u00eda tambi\u00e9n admiti\u00f3 que la evaluaci\u00f3n hab\u00eda incluido selecci\u00f3n humana entre varios intentos y que el proceso no hab\u00eda sido completamente controlado.<\/p>\n<p class=\"isSelectedEnd\">En mayo, otro modelo interno consigui\u00f3 refutar una conjetura hist\u00f3rica relacionada con el problema de las distancias unitarias de Erd\u0151s. En ese caso, OpenAI indic\u00f3 expresamente que matem\u00e1ticos externos hab\u00edan revisado la demostraci\u00f3n y varios especialistas destacados respaldaron su validez.<\/p>\n<p class=\"isSelectedEnd\">En el nuevo anuncio, OpenAI public\u00f3 pruebas extensas y certificados formales, pero no identific\u00f3 un grupo independiente que haya evaluado p\u00fablicamente los diez resultados completos. Por eso, lo prudente es hablar de una colecci\u00f3n extraordinariamente prometedora, no de diez problemas definitivamente cerrados.<\/p>\n<div class=\"not-prose video-container\"><noscript><iframe loading=\"lazy\" title=\"OpenAI's New AI ASTRA Is Total Overkill (Ends The GPT Era)\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/n7BpBCCCOWA?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen=\"\"><\/iframe><\/noscript><\/div>\n<h2>Un \u201cmomento Deep Blue\u201d dif\u00edcil de medir<\/h2>\n<p class=\"isSelectedEnd\">La comparaci\u00f3n con Deep Blue es atractiva, pero imperfecta. En ajedrez existe un resultado inmediato: alguien gana, pierde o empata. En matem\u00e1ticas, una demostraci\u00f3n puede necesitar meses de revisi\u00f3n, revelar un supuesto oculto o ser correcta pero menos revolucionaria de lo que parec\u00eda inicialmente.<\/p>\n<p class=\"isSelectedEnd\">Astra tampoco est\u00e1 disponible p\u00fablicamente, por lo que investigadores externos a\u00fan no pueden reproducir libremente el proceso ni conocer su tasa de fracaso. Mostrar solamente los \u00e9xitos tampoco permite saber cu\u00e1ntos problemas intent\u00f3 el sistema antes de obtener estos diez resultados.<\/p>\n<p class=\"isSelectedEnd\">Aun con esas reservas, el anuncio se\u00f1ala un cambio importante. La inteligencia artificial ya no solo resume art\u00edculos, resuelve ejercicios conocidos o ayuda a comprobar c\u00e1lculos. Est\u00e1 comenzando a proponer argumentos originales sobre preguntas situadas en la frontera del conocimiento.<\/p>\n<p>El verdadero \u201cmomento Deep Blue\u201d de las matem\u00e1ticas quiz\u00e1 no llegue con una \u00fanica prueba espectacular. Puede estar apareciendo de forma gradual, a medida que los modelos se convierten en colaboradores capaces de explorar miles de caminos, formalizar resultados y encontrar conexiones que ning\u00fan investigador hab\u00eda probado antes.<\/p>\n<p>\u00a0<\/p>\n<p>\u00a0<\/p>\n<p>Fuente: Xataka.<\/p>\n<\/p><\/div>\n<p><script async src=\"\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script><\/p>\n","protected":false},"excerpt":{"rendered":"<p>En 1997, Deep Blue derrot\u00f3 a Garri Kasp\u00e1rov y demostr\u00f3 que una m\u00e1quina pod\u00eda superar al mejor ser humano en ajedrez. Casi tres d\u00e9cadas despu\u00e9s, OpenAI cree estar acerc\u00e1ndose a otro punto de inflexi\u00f3n, esta vez en un terreno mucho m\u00e1s dif\u00edcil de evaluar: la investigaci\u00f3n matem\u00e1tica. La compa\u00f1\u00eda present\u00f3 el 1 de agosto diez [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":14154,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-14153","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-sin-categoria"],"_links":{"self":[{"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=\/wp\/v2\/posts\/14153","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=14153"}],"version-history":[{"count":0,"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=\/wp\/v2\/posts\/14153\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=\/wp\/v2\/media\/14154"}],"wp:attachment":[{"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=14153"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=14153"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/laf5.publisher.highstack.com.ar\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=14153"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}