{"id":6382,"date":"2025-05-01T10:29:02","date_gmt":"2025-05-01T10:29:02","guid":{"rendered":"https:\/\/www.myshirtai.com\/archives\/6382"},"modified":"2025-05-01T10:29:02","modified_gmt":"2025-05-01T10:29:02","slug":"deepseek%e5%8f%91%e5%b8%83prover-v2%e6%a8%a1%e5%9e%8b%ef%bc%9a671b%e5%8f%82%e6%95%b0%e5%8a%a9%e5%8a%9b%e6%95%b0%e5%ad%a6%e5%ae%9a%e7%90%86%e8%af%81%e6%98%8e","status":"publish","type":"post","link":"https:\/\/www.myshirtai.com\/es\/archives\/6382","title":{"rendered":"DeepSeek lanza el modelo Prover-V2: los par\u00e1metros 671B mejoran la comprobaci\u00f3n de teoremas matem\u00e1ticos"},"content":{"rendered":"<p>Durante el Primero de Mayo, DeepSeek volvi\u00f3 a traer una gran noticia al campo de la IA: la publicaci\u00f3n del nuevo modelo DeepSeek-Prover-V2. A pesar de los recientes rumores que circulaban por la red sobre el inminente lanzamiento de DeepSeek-R2, DeepSeek sigui\u00f3 adelante y public\u00f3 este potente modelo centrado en la demostraci\u00f3n de teoremas matem\u00e1ticos, y contin\u00faa manteniendo su habitual esp\u00edritu de c\u00f3digo abierto.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u4e24\u6b3e\u5f3a\u5927\u6a21\u578b\u540c\u6b65\u5f00\u6e90\">Dos potentes modelos sincronizados con el c\u00f3digo abierto<\/h2>\n\n\n\n<p>En esta ocasi\u00f3n, DeepSeek ha puesto a disposici\u00f3n p\u00fablica dos versiones del modelo DeepSeek-Prover-V2.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>DeepSeek-Prover-V2-671B<\/strong>Construido sobre DeepSeek-V3-Base, con 671.000 millones de par\u00e1metros, es actualmente el rey del rendimiento en la demostraci\u00f3n de teoremas.<\/li>\n\n\n\n<li><strong>DeepSeek-Prover-V2-7B<\/strong>Basado en DeepSeek-Prover-V1.5-Base, con 7.000 millones de par\u00e1metros y soporte para contextos de hasta 32.000 tokens.<\/li>\n<\/ul>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-1.png\" alt=\"\" class=\"wp-image-423\"\/><\/figure>\n\n\n\n<p>Ambos modelos han sido publicados oficialmente en Hugging Face:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>DeepSeek-Prover-V2-7B. <\/strong><a href=\"https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-7B\">https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-7B<\/a><\/li>\n\n\n\n<li><strong>DeepSeek-Prover-V2-671B. <\/strong><a href=\"https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-671B\">https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-671B<\/a><\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u4ec0\u4e48\u662fdeepseek-prover-v2\">\u00bfQu\u00e9 es DeepSeek-Prover-V2?<\/h2>\n\n\n\n<p>DeepSeek-Prover-V2 es un modelo de gran lenguaje de c\u00f3digo abierto para el \"lenguaje de programaci\u00f3n de IA matem\u00e1tica\" Lean 4, centrado en la demostraci\u00f3n formal de teoremas. En pocas palabras, puede transformar teoremas matem\u00e1ticos abstractos en pruebas rigurosas verificables por ordenador, lo que supone una herramienta revolucionaria para la investigaci\u00f3n matem\u00e1tica.<\/p>\n\n\n\n<p>Su mejor caracter\u00edstica es su capacidad para combinar a la perfecci\u00f3n el razonamiento matem\u00e1tico no formal (es decir, el utilizado habitualmente por los humanos) con las pruebas formales rigurosas, lo que permite al modelo pensar con la misma flexibilidad que un humano y argumentar con el mismo rigor que un ordenador, logrando una mezcla integrada de razonamiento matem\u00e1tico.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image.png\" alt=\"\" class=\"wp-image-422\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u60ca\u4eba\u6027\u80fd-\u5237\u65b0\u591a\u9879\u8bb0\u5f55\">Rendimiento asombroso: se baten muchos r\u00e9cords<\/h2>\n\n\n\n<p>DeepSeek-Prover-V2-671B muestra una potencia sin precedentes en varias pruebas de teoremas:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Alcanzado un \u00edndice de aprobados sin precedentes de 88,9% en el conjunto de pruebas MiniF2F.<\/li>\n\n\n\n<li>Resuelve con \u00e9xito 49 de las 658 preguntas del conjunto de datos PutnamBench<\/li>\n\n\n\n<li>Tambi\u00e9n se desenvuelve bien en problemas dif\u00edciles de concursos matem\u00e1ticos como los AIME 24 y 25<\/li>\n<\/ul>\n\n\n\n<p>Muchos internautas probaron el modelo y afirmaron que era incluso m\u00e1s capaz de resolver problemas matem\u00e1ticos complejos que los mejores modelos, como el o4-mini de OpenAI y el Grok-3 de XAI. Algunos estudiantes que se adentraron en la Olimpiada de Matem\u00e1ticas exclamaron: \"\u00a1La Olimpiada nunca hab\u00eda sido tan f\u00e1cil!\".<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-4.png\" alt=\"\" class=\"wp-image-427\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u6280\u672f\u521b\u65b0-\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\">Innovaci\u00f3n tecnol\u00f3gica: combinaci\u00f3n de aprendizaje recursivo y de refuerzo<\/h2>\n\n\n\n<p>En el informe t\u00e9cnico, el equipo de DeepSeek revela la metodolog\u00eda central de entrenamiento de Prover-V2, que se basa en una innovadora combinaci\u00f3n de aprendizaje recursivo + aprendizaje por refuerzo. El proceso de entrenamiento del modelo se divide en varios pasos clave:<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-1-\u901a\u8fc7\u5b50\u76ee\u6807\u5206\u89e3\u5b9e\u73b0\u9012\u5f52\u5f0f\u8bc1\u660e\u641c\u7d22\">1. B\u00fasqueda recursiva de pruebas mediante la descomposici\u00f3n de subobjetivos<\/h3>\n\n\n\n<p>DeepSeek-Prover-V2 utiliza una forma de pensar similar a la de un matem\u00e1tico humano: descomponer teoremas complejos en una serie de lemas m\u00e1s peque\u00f1os que demostrar. El proceso espec\u00edfico de implementaci\u00f3n incluye:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>En primer lugar, DeepSeek-V3 genera esquemas de demostraci\u00f3n en lenguaje natural y los formaliza como enunciados de teoremas en lenguaje Lean.<\/li>\n\n\n\n<li>A continuaci\u00f3n, las submetas descompuestas se resuelven recursivamente utilizando el modelo de prueba 7B<\/li>\n\n\n\n<li>Por \u00faltimo, las pruebas de estas submetas se combinan para construir una prueba formal completa del problema complejo original<\/li>\n<\/ul>\n\n\n\n<p>Este enfoque no s\u00f3lo mejora la eficacia de la prueba, sino que tambi\u00e9n ampl\u00eda la gama de teoremas que el modelo puede manejar.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-2.png\" alt=\"\" class=\"wp-image-424\"\/><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-2-\u7edf\u4e00\u975e\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u5f62\u5f0f\u5316\u8bc1\u660e\">2. Armonizar el razonamiento no formal con las pruebas formales<\/h3>\n\n\n\n<p>El equipo de DeepSeek ha combinado inteligentemente el razonamiento de lenguaje natural de alto nivel con procesos de prueba exacta de bajo nivel:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Elige problemas especialmente dif\u00edciles de resolver y div\u00eddelos en objetivos m\u00e1s peque\u00f1os.<\/li>\n\n\n\n<li>Una vez demostrados cada uno de los miniobjetivos, se combinan en una prueba rigurosa completa.<\/li>\n\n\n\n<li>A\u00f1ada esta prueba completa a la \"cadena de pensamiento\" generada por DeepSeek-V3 para formar unos datos de entrenamiento que combinen el pensamiento humano y la verificaci\u00f3n de la m\u00e1quina.<\/li>\n<\/ul>\n\n\n\n<p>De este modo, el equipo recopil\u00f3 cientos de datos de entrenamiento de alta calidad, proporcionando una s\u00f3lida base de aprendizaje para el modelo.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-5.png\" alt=\"\" class=\"wp-image-428\"\/><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-3-\u5f3a\u5316\u5b66\u4e60\u63d0\u5347\u63a8\u7406\u80fd\u529b\">3. Aprendizaje reforzado para mejorar la capacidad de razonamiento<\/h3>\n\n\n\n<p>Tras un ajuste inicial, el equipo introdujo el algoritmo de aprendizaje por refuerzo Group Relative Policy Optimization (GRPO):<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Muestreo de m\u00faltiples pruebas candidatas para cada pregunta y optimizaci\u00f3n de la estrategia mediante recompensas relativas.<\/li>\n\n\n\n<li>Utilizar un mecanismo de recompensa binario: Lean punt\u00faa 1 en caso de verificaci\u00f3n correcta y 0 en caso de fallo.<\/li>\n\n\n\n<li>La bonificaci\u00f3n de coherencia estructural est\u00e1 dise\u00f1ada espec\u00edficamente para garantizar que las pruebas generadas por el modelo son coherentes con la idea de descomposici\u00f3n de la cadena de pensamiento<\/li>\n<\/ul>\n\n\n\n<p>Este m\u00e9todo de entrenamiento mejora enormemente la precisi\u00f3n del modelo en la demostraci\u00f3n de teoremas complejos.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-3.png\" alt=\"\" class=\"wp-image-425\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-proverbench-\u5168\u65b0\u7684\u6570\u5b66\u57fa\u51c6\u6d4b\u8bd5\u96c6\">ProverBench: un nuevo conjunto de pruebas matem\u00e1ticas<\/h2>\n\n\n\n<p>Adem\u00e1s del propio modelo, DeepSeek ha publicado ProverBench, un conjunto de datos de 325 preguntas:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>15 preguntas sobre teor\u00eda de n\u00fameros y \u00e1lgebra de los \u00faltimos concursos de matem\u00e1ticas como AIME 24 y 25<\/li>\n\n\n\n<li>310 preguntas seleccionadas a partir de ejemplos de libros de texto y tutoriales, que abarcan una amplia gama de niveles de dificultad y \u00e1mbitos.<\/li>\n<\/ul>\n\n\n\n<p>El objetivo de este conjunto de datos es proporcionar una evaluaci\u00f3n exhaustiva de los modelos tanto en el nivel de competici\u00f3n de secundaria como en el de licenciatura en matem\u00e1ticas, y ofrecer una plataforma de pruebas m\u00e1s sistem\u00e1tica para la investigaci\u00f3n en IA matem\u00e1tica.<\/p>\n\n\n\n<p>Enlace ProverBench:<a href=\"https:\/\/huggingface.co\/datasets\/deepseek-ai\/DeepSeek-ProverBench\">https:\/\/huggingface.co\/datasets\/deepseek-ai\/DeepSeek-ProverBench<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u5b9e\u9a8c\u7ed3\u679c\u4e0e\u4eae\u70b9\u53d1\u73b0\">Resultados experimentales y conclusiones destacadas<\/h2>\n\n\n\n<p>En el transcurso del estudio, el equipo descubri\u00f3 varios fen\u00f3menos interesantes:<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-cot-vs-non-cot\u6a21\u5f0f\">Modelos CoT y no CoT<\/h3>\n\n\n\n<p>DeepSeek-Prover-V2 admite dos modos complementarios de generaci\u00f3n de pruebas:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Modelo no-CoT (no-Cadena de Pensamiento) de gran eficacia<\/strong>Generaci\u00f3n r\u00e1pida de c\u00f3digo lean Lean sin pasos intermedios de inferencia<\/li>\n\n\n\n<li><strong>Modelo de cadena de pensamiento (CoT) de alta precisi\u00f3n<\/strong>representaci\u00f3n sistem\u00e1tica del proceso de razonamiento y construcci\u00f3n gradual de pruebas l\u00f3gicamente claras<\/li>\n<\/ul>\n\n\n\n<p>Los experimentos muestran una ventaja significativa en el rendimiento del modelo CoT sobre el modelo no-CoT en el razonamiento matem\u00e1tico formal, lo que confirma la eficacia de la pista de la cadena de pensamiento en el dominio de la demostraci\u00f3n de teoremas.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-\u5c0f\u6a21\u578b\u7684\u610f\u5916\u80fd\u529b\">Capacidades inesperadas de los modelos peque\u00f1os<\/h3>\n\n\n\n<p>Sorprendentemente, DeepSeek-Prover-V2-7B super\u00f3 las expectativas al utilizar el modelo no CoT en el conjunto de datos PutnamBench. Incluso resolvi\u00f3 13 preguntas que el modelo 671B no pudo resolver.<\/p>\n\n\n\n<p>El an\u00e1lisis revel\u00f3 que el modelo 7B adquiri\u00f3 una t\u00e9cnica \u00fanica -el uso frecuente de Cardinal.toNat y Cardinal.natCast_inj para problemas que implican bases finitas- que es poco frecuente en el modelo 671B. Este hallazgo sugiere que el aprendizaje por refuerzo no s\u00f3lo mejora el rendimiento general, sino que tambi\u00e9n permite al modelo desarrollar t\u00e9cnicas especializadas de resoluci\u00f3n de problemas.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u5feb\u901f\u4e0a\u624b\u6307\u5357\">Gu\u00eda de inicio r\u00e1pido<\/h2>\n\n\n\n<p>\u00bfQuieres probar DeepSeek-Prover-V2? Aqu\u00ed tienes un sencillo ejemplo que muestra c\u00f3mo utilizar la biblioteca Transformers de Hugging Face para la inferencia de modelos:<\/p>\n\n\n\n<div class=\"wp-block-code\"><div class=\"xhcode-toolbar\"><i class=\"xhcode-icon-codesvg\"><\/i><span>PHP<\/span><\/div><pre><code lang=\"php\" class=\"language-php\">from transformadores import AutoModelForCausalLM, AutoTokenizer\nimportar antorcha\n\ntorch.manual_seed(30)\nmodel_id = \"deepseek-ai\/DeepSeek-Prover-V2-7B\" # o deepseek-ai\/DeepSeek-Prover-V2-671B\ntokenizer = AutoTokenizer.from_pretrained(model_id)\n\nformal_statement = \"\"\"\nimportar Mathlib\nimportar Aesop\nset_option latidos_m\u00e1ximos 0\nopen BigOperators Real Nat Topolog\u00eda Rata\n\/-- \u00bfCu\u00e1l es la diferencia positiva entre $120\\%$ de 30 y $130\\%$ de 20? Demuestra que es 10.-\/\nteorema mathd_algebra_10 : abs ((120 : \u211d) \/ 100 * 30 - 130 \/ 100 * 20) = 10 := por\n    lo siento\n\"\"\".strip()\n\nprompt = \"\"\"\nCompleta el siguiente c\u00f3digo de Lean 4.\n ```lean4\n{}<\/code><\/pre><\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u672a\u6765\u5c55\u671b\">perspectivas de futuro<\/h2>\n\n\n\n<p>El equipo de DeepSeek afirma que el trabajo futuro se centrar\u00e1 en ampliar este marco a sistemas similares a AlphaProof. El objetivo final es resolver enigmas matem\u00e1ticos de nivel IMO que representen la vanguardia del campo de la demostraci\u00f3n automatizada de teoremas. Con el lanzamiento de DeepSeek-Prover-V2, puede que estemos asistiendo a un importante cambio en la forma de estudiar las matem\u00e1ticas. M\u00e1s que un mero avance tecnol\u00f3gico, este modelo representa un nuevo paradigma para que los humanos colaboren con la IA en la resoluci\u00f3n de problemas complejos.<br><br>Mientras tanto, la expectaci\u00f3n por DeepSeek-R2 es cada vez mayor. Como dijo un internauta: \"Toc toc esta peque\u00f1a ballena azul, \u00a1cu\u00e1ndo demonios se va a enviar R2!\".<\/p>\n\n\n\n<p><strong>Si desea utilizar GPT Plus, Claude Pro, Grok Super cuenta exclusiva oficial de pago, puede ponerse en contacto con nuestro equipo profesional (wx: abch891) si no sabe c\u00f3mo recargar su cuenta.<\/strong><\/p>\n\n\n\n<table style=\"width: 100%;border-collapse: collapse;border: 1px solid #ddd\">\n<thead>\n<tr style=\"height: 48px;background-color: #f5f5f5\">\n<th style=\"width: 50%;height: 48px;border: 1px solid #ddd;padding: 8px\">\n<h4 style=\"margin: 0\">Para m\u00e1s productos, visite<\/h4>\n<\/th>\n<th style=\"width: 50%;height: 48px;border: 1px solid #ddd;padding: 8px\">\n<h4 style=\"margin: 0\">M\u00e1s informaci\u00f3n en<\/h4>\n<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr style=\"height: 63px\">\n<td style=\"width: 50%;height: 63px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/es\/\" data-linktype=\"2\">ShirtAI - Inteligencia penetrante<\/a><\/td>\n<td style=\"width: 50%;height: 63px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/es\/archives\/4425\/\" data-linktype=\"2\">El Gran Modelo AIGC: el comienzo de una era de doble revoluci\u00f3n en ingenier\u00eda y ciencia - Inteligencia Penetrante<\/a><\/td>\n<\/tr>\n<tr style=\"height: 61px\">\n<td style=\"width: 50%;height: 61px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/es\/\" data-linktype=\"2\">Restauraci\u00f3n 1:1 de Claude y GPT Sitio web oficial - AI Cloud Native<\/a><\/td>\n<td style=\"width: 50%;height: 61px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.bluelsqkj.com\/archives\/2876\" data-linktype=\"2\">Live Match App Global HD Sports Viewing Player (Recomendada) - Blueshirt Technology<\/a><\/td>\n<\/tr>\n<tr style=\"height: 54px\">\n<td style=\"width: 50%;height: 54px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/api.mygptmeta.com\/\" data-linktype=\"2\">Servicio de tr\u00e1nsito basado en la API oficial - GPTMeta API<\/a><\/td>\n<td style=\"width: 50%;height: 54px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.zhihu.com\/question\/621055223\/answer\/3633615705\" data-linktype=\"2\">Ayuda, \u00bfalguien de ustedes puede proporcionar algunos consejos sobre c\u00f3mo hacer preguntas en GPT? - Conocimientos<\/a><\/td>\n<\/tr>\n<tr style=\"height: 70px\">\n<td style=\"width: 50%;height: 70px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/shop.blueshirtmap.com\/\" data-linktype=\"2\">Tienda digital global de bienes virtuales - Global SmarTone (Feng Ling Ge)<\/a><\/td>\n<td style=\"width: 50%;height: 70px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.bilibili.com\/video\/BV1efpneYE54\/?spm_id_from=333.1387.homepage.video_card.click\" data-linktype=\"2\">\u00bfQu\u00e9 tan poderoso es Claude airtfacts caracter\u00edstica que GPT al instante no huele bien? -BeepBeep<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>","protected":false},"excerpt":{"rendered":"<p>DeepSeek public\u00f3 el 1 de mayo el modelo DeepSeek-Prover2 dise\u00f1ado para pruebas matem\u00e1ticas, que contiene 671.000 millones de par\u00e1metros y una versi\u00f3n de 7.000 millones de par\u00e1metros. El modelo utiliza una combinaci\u00f3n de recursividad y aprendizaje por refuerzo para destacar en varias pruebas matem\u00e1ticas, como la prueba MiniFF, con un porcentaje de aprobados de 88,9%. El conjunto de datos ProBench publicado al mismo tiempo contiene 325 preguntas para evaluar las capacidades del modelo. Los experimentos han revelado que el modelo Cadena de Pensamiento mejora significativamente la precisi\u00f3n, y el minimodelo incluso lo supera en problemas concretos. El modelo ya est\u00e1 en Hugging Face, apoyando un nuevo paradigma en la investigaci\u00f3n matem\u00e1tica.<\/p>","protected":false},"author":1,"featured_media":6381,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[53],"tags":[58,59],"class_list":["post-6382","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-blog","tag-theorem-proving","tag-mathematical-ai"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v25.2) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.myshirtai.com\/es\/archives\/6382\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\" \/>\n<meta property=\"og:description\" content=\"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c70\u4ebf\u53c2\u6570\u7248\u672c\u3002\u8be5\u6a21\u578b\u91c7\u7528\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\u7684\u6280\u672f\u5728\u591a\u9879\u6570\u5b66\u6d4b\u8bd5\u4e2d\u8868\u73b0\u4f18\u5f02\uff0c\u5982MiniFF\u6d4b\u8bd5\u901a\u8fc7\u7387\u8fbe88.9%\u3002\u540c\u65f6\u53d1\u5e03\u7684ProBench\u6570\u636e\u96c6\u5305\u542b325\u9053\u9898\u76ee\uff0c\u8bc4\u4f30\u6a21\u578b\u80fd\u529b\u3002\u5b9e\u9a8c\u53d1\u73b0\u601d\u7ef4\u94fe\u6a21\u5f0f\u80fd\u663e\u8457\u8bc1\u660e\u51c6\u786e\u7387\uff0c\u5c0f\u6a21\u578b\u5728\u7279\u5b9a\u95ee\u9898\u4e0a\u751a\u81f3\u8d85\u8d8a\u6a21\u578b\u3002\u6a21\u578b\u5df2\u5728Hugging Face\uff0c\u652f\u6301\u6570\u5b66\u7814\u7a76\u65b0\u8303\u5f0f\u3002\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.myshirtai.com\/es\/archives\/6382\/\" \/>\n<meta property=\"og:site_name\" content=\"\u6e17\u900f\u667a\u80fd\" \/>\n<meta property=\"article:published_time\" content=\"2025-05-01T10:29:02+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"720\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"IvesFeng666\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"IvesFeng666\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\"},\"author\":{\"name\":\"IvesFeng666\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2\"},\"headline\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\",\"datePublished\":\"2025-05-01T10:29:02+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\"},\"wordCount\":142,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/www.myshirtai.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"keywords\":[\"\u5b9a\u7406\u8bc1\u660e\",\"\u6570\u5b66AI\"],\"articleSection\":[\"\u535a\u5ba2\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.myshirtai.com\/archives\/6382#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\",\"url\":\"https:\/\/www.myshirtai.com\/archives\/6382\",\"name\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd\",\"isPartOf\":{\"@id\":\"https:\/\/www.myshirtai.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"datePublished\":\"2025-05-01T10:29:02+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.myshirtai.com\/archives\/6382\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\",\"url\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"contentUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"width\":1280,\"height\":720},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\/\/www.myshirtai.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.myshirtai.com\/#website\",\"url\":\"https:\/\/www.myshirtai.com\/\",\"name\":\"\u6e17\u900f\u667a\u80fd\",\"description\":\"ShirtAI\",\"publisher\":{\"@id\":\"https:\/\/www.myshirtai.com\/#organization\"},\"alternateName\":\"ShirtAI\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.myshirtai.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.myshirtai.com\/#organization\",\"name\":\"ShirtAI\",\"alternateName\":\"ShirtAI\",\"url\":\"https:\/\/www.myshirtai.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png\",\"contentUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png\",\"width\":1200,\"height\":675,\"caption\":\"ShirtAI\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2\",\"name\":\"IvesFeng666\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g\",\"caption\":\"IvesFeng666\"},\"sameAs\":[\"http:\/\/www.myshirtai.com\"],\"url\":\"https:\/\/www.myshirtai.com\/es\/archives\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.myshirtai.com\/es\/archives\/6382\/","og_locale":"es_ES","og_type":"article","og_title":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e","og_description":"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c70\u4ebf\u53c2\u6570\u7248\u672c\u3002\u8be5\u6a21\u578b\u91c7\u7528\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\u7684\u6280\u672f\u5728\u591a\u9879\u6570\u5b66\u6d4b\u8bd5\u4e2d\u8868\u73b0\u4f18\u5f02\uff0c\u5982MiniFF\u6d4b\u8bd5\u901a\u8fc7\u7387\u8fbe88.9%\u3002\u540c\u65f6\u53d1\u5e03\u7684ProBench\u6570\u636e\u96c6\u5305\u542b325\u9053\u9898\u76ee\uff0c\u8bc4\u4f30\u6a21\u578b\u80fd\u529b\u3002\u5b9e\u9a8c\u53d1\u73b0\u601d\u7ef4\u94fe\u6a21\u5f0f\u80fd\u663e\u8457\u8bc1\u660e\u51c6\u786e\u7387\uff0c\u5c0f\u6a21\u578b\u5728\u7279\u5b9a\u95ee\u9898\u4e0a\u751a\u81f3\u8d85\u8d8a\u6a21\u578b\u3002\u6a21\u578b\u5df2\u5728Hugging Face\uff0c\u652f\u6301\u6570\u5b66\u7814\u7a76\u65b0\u8303\u5f0f\u3002","og_url":"https:\/\/www.myshirtai.com\/es\/archives\/6382\/","og_site_name":"\u6e17\u900f\u667a\u80fd","article_published_time":"2025-05-01T10:29:02+00:00","og_image":[{"width":1280,"height":720,"url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","type":"image\/jpeg"}],"author":"IvesFeng666","twitter_card":"summary_large_image","twitter_misc":{"Escrito por":"IvesFeng666","Tiempo de lectura":"2 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.myshirtai.com\/archives\/6382#article","isPartOf":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382"},"author":{"name":"IvesFeng666","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2"},"headline":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e","datePublished":"2025-05-01T10:29:02+00:00","mainEntityOfPage":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382"},"wordCount":142,"commentCount":0,"publisher":{"@id":"https:\/\/www.myshirtai.com\/#organization"},"image":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"thumbnailUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","keywords":["\u5b9a\u7406\u8bc1\u660e","\u6570\u5b66AI"],"articleSection":["\u535a\u5ba2"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.myshirtai.com\/archives\/6382#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.myshirtai.com\/archives\/6382","url":"https:\/\/www.myshirtai.com\/archives\/6382","name":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd","isPartOf":{"@id":"https:\/\/www.myshirtai.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"image":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"thumbnailUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","datePublished":"2025-05-01T10:29:02+00:00","breadcrumb":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.myshirtai.com\/archives\/6382"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage","url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","contentUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","width":1280,"height":720},{"@type":"BreadcrumbList","@id":"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/www.myshirtai.com\/"},{"@type":"ListItem","position":2,"name":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e"}]},{"@type":"WebSite","@id":"https:\/\/www.myshirtai.com\/#website","url":"https:\/\/www.myshirtai.com\/","name":"\u6e17\u900f\u667a\u80fd","description":"ShirtAI","publisher":{"@id":"https:\/\/www.myshirtai.com\/#organization"},"alternateName":"ShirtAI","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.myshirtai.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"https:\/\/www.myshirtai.com\/#organization","name":"ShirtAI","alternateName":"ShirtAI","url":"https:\/\/www.myshirtai.com\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png","contentUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png","width":1200,"height":675,"caption":"ShirtAI"},"image":{"@id":"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2","name":"IvesFeng666","image":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g","caption":"IvesFeng666"},"sameAs":["http:\/\/www.myshirtai.com"],"url":"https:\/\/www.myshirtai.com\/es\/archives\/author\/admin"}]}},"uagb_featured_image_src":{"full":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"thumbnail":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-150x84.jpg",150,84,true],"medium":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-1024x576.jpg",1024,576,true],"medium_large":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-768x432.jpg",768,432,true],"large":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"1536x1536":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"2048x2048":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"trp-custom-language-flag":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-18x10.jpg",18,10,true]},"uagb_author_info":{"display_name":"IvesFeng666","author_link":"https:\/\/www.myshirtai.com\/es\/archives\/author\/admin"},"uagb_comment_info":0,"uagb_excerpt":"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c7&hellip;","_links":{"self":[{"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/posts\/6382","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/comments?post=6382"}],"version-history":[{"count":0,"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/posts\/6382\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/media\/6381"}],"wp:attachment":[{"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/media?parent=6382"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/categories?post=6382"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.myshirtai.com\/es\/wp-json\/wp\/v2\/tags?post=6382"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}